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

Name: Leveraging Applications of Formal Methods, Verification and Validation. Speciali
Brand: Springer Berlin Heidelberg, Springer Berlin Heidelberg
SKU: 177080019484
Price: 85.60 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

85,60 €

Titel: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, Untertitel: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II, Einband: Taschenbuch, Autor: Bernhard Steffen, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 664, Maße: 235x155x36 mm, Gewicht: 990 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 *

Verlag:

Springer Berlin Heidelberg, Springer Berlin Heidelberg
Autor:

Bernhard Steffen
Seiten:

664
Gewicht:

990
Einband:

Taschenbuch
Format:

235x155x36 mm
Sprache:

Englisch
Marke:

Springer Berlin Heidelberg, Springer Berlin Heidelberg
Fachbereich:

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

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

20141007
Produktart:

Bücher
Buchtitel:

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

6th International Symposium, ISoLA 2014, Imperial, Corfu, Gree...
Film-/Fernseh-Titel:

Keine Angabe
Publikationsname:

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

Keine Angabe
Interpret:

Keine Angabe
Schlagworte:

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

9783662452301

Standardversand:

DHL Paket kostenlos - Lieferung zwischen 14. May 2025 und 16. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Deutschland
Versand ausgeschlossen:

Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Nordamerika , Ozeanien , Südostasien , Südamerika , Albanien , Andorra , ... und weitere

Leveraging Applications of Formal Methods, Verification and Validation. Speciali

Leveraging Applications of Formal Methods, Verification and Validation. Specific

Leveraging Applications of Formal Methods, Verification and Validation. Software

Leveraging Applications of Formal Methods, Verification and Validation. Adaptati

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

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. REoCAS C

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Leveraging Applications of Formal Methods, Verification and Validation. Technolo

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 Bernhard

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

Ähnliche Artikel

Leveraging Applications of Formal Methods, Verification and Validation. Specific

Leveraging Applications of Formal Methods, Verification and Validation. Software

Leveraging Applications of Formal Methods, Verification and Validation. Adaptati

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

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. REoCAS C

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Leveraging Applications of Formal Methods, Verification and Validation. Technolo

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 Bernhard

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

Cookie Hinweis