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 Bernhard

Name: Leveraging Applications of Formal Methods, Verification and Validation Bernhard
Brand: Springer Berlin Heidelberg, Springer Berlin Heidelberg
SKU: 177080020970
Price: 57.78 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

57,78 €

Titel: Leveraging Applications of Formal Methods, Verification and Validation, Untertitel: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II, Einband: Taschenbuch, Autor: Bernhard Steffen, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 380, Maße: 235x155x21 mm, Gewicht: 575 g, Verkäufer: buch-mimpf, Schlagworte: Software Product Lines automata concurrent programs model checking scientific workflows.

Jetzt bei Ebay:

Zum Angebot *

Seiten:

380
Gewicht:

575
Einband:

Taschenbuch
Marke:

Springer Berlin Heidelberg, Springer Berlin Heidelberg
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:

5th International Symposium, ISoLA 2012, Heraklion, Crete, Gre...
Film-/Fernseh-Titel:

Keine Angabe
Musiktitel:

Keine Angabe
Interpret:

Keine Angabe
Schlagworte:

Software Product Lines automata concurrent programs model c...
ISBN:

9783642340314
Reihe:

Theoretical Computer Science And General Issues
Produktart:

Lehrbuch
Format:

Taschenbuch
Erscheinungsjahr:

2012
Anzahl der Seiten:

380 Seiten
Autor:

Tiziana Margaria, Bernhard Steffen
Verlag:

Springer Berlin Heidelberg, Springer Berlin
Publikationsname:

Leveraging Applications of Formal Methods, Verification And Validation
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 Bernhard

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

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Leveraging Applications of Formal Methods, Verification and Buch Springer

Leveraging Applications of Formal Methods, Verification and Validation: Technolo

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

Leveraging Applications of Formal Methods, Verification and Validation Bernhard

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

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Leveraging Applications of Formal Methods, Verification and Buch Springer

Leveraging Applications of Formal Methods, Verification and Validation: Technolo

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

Cookie Hinweis