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

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

Name: Verification, Model Checking, and Abstract Interpretation: 13th International Co
SKU: 297062762006
Price: 43.18 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

43,18 €

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:

3642279392
Buchtitel:

Verification, Model Checking, and Abstract Interpr
Untertitel:

13th International Conference, VMCAI 2012, Philade
Autor:

Unbekannt
Erscheinungsjahr:

Januar 2012
Verlag:

Springer-Verlag GmbH
Format:

Taschenbuch
Sprache:

Englisch
Höhe:

2.8 cm
Gewicht:

709 g
Länge:

23.9 cm
Breite:

15.7 cm
ISBN:

3642279392

Expressversand:

Sonstige (1 Werktag) kostenlos - Lieferung zwischen 14. May 2025 und 14. 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: 13th International Co

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

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

Verification, Model Checking, and Abstract Interpretation Andreas Podelski

Verification, Model Checking, and Abstract Interpretation Francesco Logozzo

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: 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 Logozzo (u. a.) Buch x

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

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

Markus Müller-Olm (u. a.) | Verification, Model Checking, and Abstract...

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

Model Checking Software Corina S Pasareanu

Automated Technology for Verification and Analysis Sungdeok Cha

Hardware and Software: Verification and Testing Rachel Tzoref-Brill

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

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

Ähnliche Artikel

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

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

Verification, Model Checking, and Abstract Interpretation Andreas Podelski

Verification, Model Checking, and Abstract Interpretation Francesco Logozzo

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: 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 Logozzo (u. a.) Buch x

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

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

Markus Müller-Olm (u. a.) | Verification, Model Checking, and Abstract...

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

Model Checking Software Corina S Pasareanu

Automated Technology for Verification and Analysis Sungdeok Cha

Hardware and Software: Verification and Testing Rachel Tzoref-Brill

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

Cookie Hinweis