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

Name: Leveraging Applications of Formal Methods, Verification and Validation: Tools an
Brand: Springer Nature Switzerland, Springer International Publishing
SKU: 177080057946
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: Tools and Trends, Untertitel: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV, Einband: Taschenbuch, Autor: Bernhard Steffen, Verlag: Springer Nature Switzerland, Springer International Publishing, Sprache: Englisch, Seiten: 280, Maße: 235x155x16 mm, Gewicht: 429 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:

280
Gewicht:

429
Einband:

Taschenbuch
Marke:

Springer Nature Switzerland, Springer International Publishing
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:

9783030837228
Reihe:

Theoretical Computer Science And General Issues
Produktart:

Lehrbuch
Format:

Taschenbuch
Erscheinungsjahr:

2021
Anzahl der Seiten:

280 Seiten
Autor:

Tiziana Margaria, Bernhard Steffen
Verlag:

Springer International Publishing
Publikationsname:

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

Englisch

Standardversand:

DHL Kleinpaket kostenlos - Lieferung zwischen 14. May 2025 und 16. May 2025 (bei heutigem Zahlungseingang)
Standardversand:

DHL Paket 3,99 EUR - Lieferung zwischen 14. May 2025 und 16. May 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: Tools an

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

Leveraging Applications of Formal Methods, Verification and Validation. Industri

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: 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. Modeling

Leveraging applications of formal methods, verification and validation, Applicat

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

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

Leveraging Applications of Formal Methods, Verification and Validation. Software

Leveraging Applications of Formal Methods, Verification and Validation. Practice

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

Ähnliche Artikel

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

Leveraging Applications of Formal Methods, Verification and Validation. Industri

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: 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. Modeling

Leveraging applications of formal methods, verification and validation, Applicat

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

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

Leveraging Applications of Formal Methods, Verification and Validation. Software

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Leveraging Applications of Formal Methods, Verification and Validation. Software

Leveraging Applications of Formal Methods, Verification and Validation. Adaptati

Cookie Hinweis