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

Name: Leveraging Applications of Formal Methods, Verification and Validation. Technolo
Brand: Springer Berlin Heidelberg, Springer Berlin Heidelberg
SKU: 177080020509
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. Technologies for Mastering Change, Untertitel: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I, Einband: Taschenbuch, Autor: Bernhard Steffen, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 568, Maße: 235x155x31 mm, Gewicht: 850 g, Verkäufer: buch-mimpf, Schlagworte: Code Generation Prototyping Software Product Lines automata automated software engineering autonomic systems business process modeling component-based coordination patterns domain-specific languages ensemble computing model based testing model checking operational semantics real-time robot swarms timed automata verification.

Jetzt bei Ebay:

Zum Angebot *

Seiten:

568
Gewicht:

850
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...
Film-/Fernseh-Titel:

Keine Angabe
Musiktitel:

Keine Angabe
Interpret:

Keine Angabe
Schlagworte:

Code Generation Prototyping Software Product Lines automata...
ISBN:

9783662452332
Reihe:

Theoretical Computer Science And General Issues
Produktart:

Lehrbuch
Format:

Taschenbuch
Erscheinungsjahr:

2014
Anzahl der Seiten:

568 Seiten
Autor:

Tiziana Margaria, Bernhard Steffen
Verlag:

Springer Berlin Heidelberg, Springer Berlin
Publikationsname:

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
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. Technolo

Leveraging Applications of Formal Methods, Verification and Validation: Technolo

Leveraging Applications of Formal Methods, Verification and Validation. Industri

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

Leveraging Applications of Formal Methods, Verification and Validation: Applicat

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

Ähnliche Artikel

Leveraging Applications of Formal Methods, Verification and Validation: Technolo

Leveraging Applications of Formal Methods, Verification and Validation. Industri

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

Leveraging Applications of Formal Methods, Verification and Validation: Applicat

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