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. Applicat

Name: Leveraging Applications of Formal Methods, Verification and Validation. Applicat
Brand: Springer Nature Switzerland, Springer International Publishing
SKU: 177080067075
Price: 53.49 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

53,49 €

Titel: Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, Untertitel: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27¿31, 2024, Proceedings, Part V, Einband: Taschenbuch, Autor: Bernhard Steffen, Verlag: Springer Nature Switzerland, Springer International Publishing, Sprache: Englisch, Seiten: 224, Maße: 235x155x13 mm, Gewicht: 347 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:

224
Gewicht:

347
Einband:

Taschenbuch
Format:

235x155x13 mm
Sprache:

Englisch
Marke:

Springer Nature Switzerland, Springer International Publishing
Reihe:

15223
Fachbereich:

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

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

20241026
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:

9783031753893

Standardversand:

DHL Kleinpaket kostenlos - Lieferung zwischen 20. June 2025 und 25. June 2025 (bei heutigem Zahlungseingang)
Standardversand:

DHL Paket 3,99 EUR - Lieferung zwischen 20. June 2025 und 25. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Deutschland
Versand ausgeschlossen:

Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere

Leveraging Applications of Formal Methods, Verification and Validation. Applicat

Bernhard Steffen (u. a.) | Leveraging Applications of Formal Methods,...

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: Technolo

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Leveraging Applications of Formal Methods, Verification and Validation. Speciali

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

Leveraging Applications of Formal Methods, Verification and Validation. Technolo

Leveraging Applications of Formal Methods, Verification and Validation Bernhard

Leveraging Applications of Formal Methods, Verification and Validation Bernhard

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: Engineer

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: Tools an

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

Leveraging Applications of Formal Methods, Verification and Validation: 5th Inte

Leveraging Applications of Formal Methods, Verification and Validation. Applicat

Ähnliche Artikel

Bernhard Steffen (u. a.) | Leveraging Applications of Formal Methods,...

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: Technolo

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Leveraging Applications of Formal Methods, Verification and Validation. Speciali

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

Leveraging Applications of Formal Methods, Verification and Validation. Technolo

Leveraging Applications of Formal Methods, Verification and Validation Bernhard

Leveraging Applications of Formal Methods, Verification and Validation Bernhard

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: Engineer

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: Tools an

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

Leveraging Applications of Formal Methods, Verification and Validation: 5th Inte

Cookie Hinweis