Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Verification, Model Checking, and Abstract Interpretation Deepak D'Souza

Name: Verification, Model Checking, and Abstract Interpretation Deepak D'Souza
Brand: Springer Berlin Heidelberg, Springer Berlin Heidelberg
SKU: 177080033779
Price: 53.49 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

53,49 €

Titel: Verification, Model Checking, and Abstract Interpretation, Untertitel: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings, Einband: Taschenbuch, Autor: Deepak D'Souza, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 488, Maße: 235x155x27 mm, Gewicht: 733 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Netzwerk (elektronisch) Programmiersprachen Embedded Software Graph transformation Privacy SAT-solvers Simulations Stability analysis bisimulations complexity concurrency formal verification hybrid systems model checking parallelism static analysis static verification.

Jetzt bei Ebay:

Zum Angebot *

Verlag:

Springer Berlin Heidelberg, Springer Berlin Heidelberg
Autor:

Deepak D'Souza
Seiten:

488
Gewicht:

733
Einband:

Taschenbuch
Format:

235x155x27 mm
Sprache:

Englisch
Marke:

Springer Berlin Heidelberg, Springer Berlin Heidelberg
Fachbereich:

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

Verification, Model Checking, and Abstract Interpretation
Erscheinungsjahr:

20150107
Produktart:

Bücher
Buchtitel:

Verification, Model Checking, and Abstract Interpretation
Untertitel:

16th International Conference, VMCAI 2015, Mumbai, India, Janu...
Film-/Fernseh-Titel:

Keine Angabe
Publikationsname:

Verification, Model Checking, and Abstract Interpretation
Musiktitel:

Keine Angabe
Interpret:

Keine Angabe
Schlagworte:

EDV / Theorie / Software-Entw. / Software Engineering Netzwer...
ISBN:

9783662460801

Standardversand:

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

DHL Paket 3,99 EUR - Lieferung zwischen 15. May 2025 und 17. 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