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

Verification, Model Checking, and Abstract Interpretation: 11th International Co

Name: Verification, Model Checking, and Abstract Interpretation: 11th International Co
SKU: 306142576589
Price: 39.79 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

39,79 €

Eine Lösung finden können. Buch in neuwertigem Zustand mit unbenutztem Einband, teilweise bereits gelesen. Diese können Stempel oder ähnliches der jeweiligen Bibliothek enthalten. Cover-Abweichungen durch Behandlung der Bibliothek möglich.

Jetzt bei Ebay:

Zum Angebot *

Produktart:

Bücher
ISBN-10:

3642113184
Untertitel:

11th International Conference, VMCAI 2010, Madrid,
Höhe:

2.3 cm
Länge:

24 cm
ISBN:

9783642113185
Breite:

15 cm
Format:

Taschenbuch
Erscheinungsjahr:

2010
Anzahl der Seiten:

X Seiten
Autor:

Nicht Verfügbar
Verlag:

Springer-Verlag Gmbh, Springer Berlin
Sprache:

Englisch
Buchtitel:

Verification, Model Checking, And Abstract Interpretation
Gewicht:

612 g
Buchreihe:

Lecture Notes in Computer Science, Theoretical Computer Science And General Issues

Expressversand:

Sonstige (1 Werktag) kostenlos - Lieferung zwischen 15. May 2025 und 15. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Deutschland, Italien, Spanien, Österreich, Polen, Schweiz
Versand ausgeschlossen:

Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Ozeanien , Südostasien , Südamerika , Bermuda , Grönland , Kanada , ... und weitere

Verification, Model Checking, and Abstract Interpretation: 11th International Co

Verification, Model Checking, and Abstract Interpretation Andreas Podelski

Verification, Model Checking, and Abstract Interpretation Francesco Logozzo

Verification, Model Checking, and Abstract Interpretation: 9th International Con

Verification, Model Checking, and Abstract Interpretation Lenore D. Zuck (u. a.)

Verification, Model Checking, and Abstract Interpretation Namjoshi (u. a.) Buch

Verification, Model Checking, and Abstract Interpretation Markus Müller-Olm

Verification, Model Checking, and Abstract Interpretation: 13th International Co

Verification, Model Checking, and Abstract Interpretation: 25th International Co

Agostino Cortesi | Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation Leino (u. a.) Buch

Verification, Model Checking, and Abstract Interpretation: 25th International Co

Lenore D. Zuck (u. a.) | Verification, Model Checking, and Abstract...

Kedar S. Namjoshi (u. a.) | Verification, Model Checking, and Abstract...

Verification, Model Checking, and Abstract Interpretation: 25th International

Helmut Veith (u. a.) | 25 Years of Model Checking | Taschenbuch | Englisch | vii

Verification, Model Checking, and Abstract Interpretation | Buch | 9783662460801

Model Checking Software Corina S Pasareanu

Thucydides, Hobbes, and the Interpretation of Realism - 9780875801759

Klaus Havelund (u. a.) | SPIN Model Checking and Software Verification | Buch

Verification, Model Checking, and Abstract Interpretation - 9783030945824

Verification, Model Checking, and Abstract Interpretation: 11th International Co

Ähnliche Artikel

Verification, Model Checking, and Abstract Interpretation Andreas Podelski

Verification, Model Checking, and Abstract Interpretation Francesco Logozzo

Verification, Model Checking, and Abstract Interpretation: 9th International Con

Verification, Model Checking, and Abstract Interpretation Lenore D. Zuck (u. a.)

Verification, Model Checking, and Abstract Interpretation Namjoshi (u. a.) Buch

Verification, Model Checking, and Abstract Interpretation Markus Müller-Olm

Verification, Model Checking, and Abstract Interpretation: 13th International Co

Verification, Model Checking, and Abstract Interpretation: 25th International Co

Agostino Cortesi | Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation Leino (u. a.) Buch

Verification, Model Checking, and Abstract Interpretation: 25th International Co

Lenore D. Zuck (u. a.) | Verification, Model Checking, and Abstract...

Kedar S. Namjoshi (u. a.) | Verification, Model Checking, and Abstract...

Verification, Model Checking, and Abstract Interpretation: 25th International

Helmut Veith (u. a.) | 25 Years of Model Checking | Taschenbuch | Englisch | vii

Verification, Model Checking, and Abstract Interpretation | Buch | 9783662460801

Model Checking Software Corina S Pasareanu

Thucydides, Hobbes, and the Interpretation of Realism - 9780875801759

Klaus Havelund (u. a.) | SPIN Model Checking and Software Verification | Buch

Verification, Model Checking, and Abstract Interpretation - 9783030945824

Cookie Hinweis