Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous

Name: Leveraging Applications of Formal Methods, Verification and Validation. Rigorous
Brand: Springer Nature Switzerland, Springer International Publishing
SKU: 177080067107
Price: 70.61 EUR
Availability: InStock

70,61 €

Titel: Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, Untertitel: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27¿31, 2024, Proceedings, Part II, Einband: Taschenbuch, Autor: Bernhard Steffen, Verlag: Springer Nature Switzerland, Springer International Publishing, Sprache: Englisch, Seiten: 384, Maße: 235x155x21 mm, Gewicht: 581 g, Verkäufer: buch-mimpf, Schlagworte: architecture Artificial Intelligence computer programming distributed computer systems Embedded Systems formal languages formal logic formal verifications Object-oriented programming software architecture.

Jetzt bei Ebay:

Zum Angebot *

Verlag:

Springer Nature Switzerland, Springer International Publishing
Autor:

Bernhard Steffen
Seiten:

384
Gewicht:

581
Einband:

Taschenbuch
Format:

235x155x21 mm
Sprache:

Englisch
Marke:

Springer Nature Switzerland, Springer International Publishing
Reihe:

15220
Fachbereich:

Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
Publikationstitel:

Leveraging Applications of Formal Methods, Verification and Va...
Erscheinungsjahr:

20241027
Produktart:

Bücher
Buchtitel:

Leveraging Applications of Formal Methods, Verification and Va...
Untertitel:

12th International Symposium, ISoLA 2024, Crete, Greece, Octob...
Film-/Fernseh-Titel:

Keine Angabe
Publikationsname:

Leveraging Applications of Formal Methods, Verification and Va...
Musiktitel:

Keine Angabe
Interpret:

Keine Angabe
Schlagworte:

architecture Artificial Intelligence computer programming di...
ISBN:

9783031751066

Standardversand:

DHL Paket kostenlos - Lieferung zwischen 14. May 2025 und 16. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Deutschland
Versand ausgeschlossen:

Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Nordamerika , Ozeanien , Südostasien , Südamerika , Albanien , Andorra , ... und weitere

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Leveraging Applications of Formal Methods, Verification and Validation. Applicat

Leveraging Applications of Formal Methods, Verification and Validation. Industri

Leveraging Applications of Formal Methods, Verification, and Validation Reiner H

Leveraging Applications of Formal Methods, Verification and Validation. Software

Leveraging Applications of Formal Methods, Verification and Validation Bernhard

Leveraging Applications of Formal Methods, Verification and Validation: Engineer

Leveraging Applications of Formal Methods, Verification and Validation: Applicat

Leveraging Applications of Formal Methods, Verification and Validation. Distribu

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Leveraging Applications of Formal Methods, Verification and Validation: Discussi

Leveraging Applications of Formal Methods, Verification and Validation. Verifica

Leveraging Applications of Formal Methods, Verification and Validation. Industri

Leveraging Applications of Formal Methods, Verification and Validation: Tools an

Leveraging Applications of Formal Methods, Verification, and Validation Anna-Len

Leveraging Applications of Formal Methods, Verification and Validation. Software

Leveraging Applications of Formal Methods, Verification and Validation. Adaptati

Leveraging Applications of Formal Methods, Verification and Validation. Specific

Leveraging Applications of Formal Methods, Verification and Validation. Speciali

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS C

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous

Ähnliche Artikel

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Leveraging Applications of Formal Methods, Verification and Validation. Applicat

Leveraging Applications of Formal Methods, Verification and Validation. Industri

Leveraging Applications of Formal Methods, Verification, and Validation Reiner H

Leveraging Applications of Formal Methods, Verification and Validation. Software

Leveraging Applications of Formal Methods, Verification and Validation Bernhard

Leveraging Applications of Formal Methods, Verification and Validation: Engineer

Leveraging Applications of Formal Methods, Verification and Validation: Applicat

Leveraging Applications of Formal Methods, Verification and Validation. Distribu

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Leveraging Applications of Formal Methods, Verification and Validation: Discussi

Leveraging Applications of Formal Methods, Verification and Validation. Verifica

Leveraging Applications of Formal Methods, Verification and Validation. Industri

Leveraging Applications of Formal Methods, Verification and Validation: Tools an

Leveraging Applications of Formal Methods, Verification, and Validation Anna-Len

Leveraging Applications of Formal Methods, Verification and Validation. Software

Leveraging Applications of Formal Methods, Verification and Validation. Adaptati

Leveraging Applications of Formal Methods, Verification and Validation. Specific

Leveraging Applications of Formal Methods, Verification and Validation. Speciali

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS C

Cookie Hinweis