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 International Publishing, Springer Nature Switzerland
SKU: 177080056394
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: Applications, Untertitel: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III, Einband: Taschenbuch, Autor: Bernhard Steffen, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 508, Maße: 235x155x28 mm, Gewicht: 762 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence Blockchain Computer Systems Embedded Systems Safety testing Smart contracts Software Engineering Verification and Validation architecture verification and validation computer networks computer programming distributed computer systems embedded control software formal logic formal methods model checking railway systems software software quality.

Jetzt bei Ebay:

Zum Angebot *

Seiten:

508
Gewicht:

762
Einband:

Taschenbuch
Marke:

Springer International Publishing, Springer Nature Switzerland
Fachbereich:

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

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

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

9th International Symposium on Leveraging Applications of Form...
Film-/Fernseh-Titel:

Keine Angabe
Musiktitel:

Keine Angabe
Interpret:

Keine Angabe
Schlagworte:

Artificial Intelligence Blockchain Computer Systems Embedde...
ISBN:

9783030614669
Reihe:

Theoretical Computer Science And General Issues
Produktart:

Lehrbuch
Format:

Taschenbuch
Erscheinungsjahr:

2020
Anzahl der Seiten:

508 Seiten
Autor:

Tiziana Margaria, Bernhard Steffen
Verlag:

Springer International Publishing
Publikationsname:

Leveraging Applications of Formal Methods, Verification And Validation: Applications
Sprache:

Englisch

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

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

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

Leveraging Applications of Formal Methods, Verification and Validation: Applicat

Ähnliche Artikel

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

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

Cookie Hinweis