2012, ISBN: 9783642279409
This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
2012, ISBN: 9783642279409
Verification, Model Checking, and Abstract Interpretation:13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings Verification, Model Checking, … Mehr…
Hugendubel.de No. 25411253 Versandkosten:zzgl. Versandkosten Details... |
2012, ISBN: 9783642279409
13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, P… Mehr…
eBook.de No. 25411253 Versandkosten:zzgl. Versandkosten Details... |
Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings - neues Buch
2012, ISBN: 9783642279409
; PDF \ Peter Gritzmann; Computing > Computer programming / software development, Springer Berlin Heidelberg
hive.co.uk No. 9783642279409 Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten Details... |
Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings - neues Buch
2012, ISBN: 9783642279409
; PDF; Computing > Computer programming / software development, Gabler Verlag
hive.co.uk No. 9783642279409. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2012, ISBN: 9783642279409
This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA… Mehr…
2012, ISBN: 9783642279409
Verification, Model Checking, and Abstract Interpretation:13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings Verification, Model Checking, … Mehr…
2012
ISBN: 9783642279409
13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, P… Mehr…
Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings - neues Buch
2012, ISBN: 9783642279409
; PDF \ Peter Gritzmann; Computing > Computer programming / software development, Springer Berlin Heidelberg
Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings - neues Buch
2012, ISBN: 9783642279409
; PDF; Computing > Computer programming / software development, Gabler Verlag
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Verification, Model Checking, and Abstract Interpretation als eBook Download von
EAN (ISBN-13): 9783642279409
Erscheinungsjahr: 2012
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-04-18T23:32:22+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-08T20:00:06+01:00 (Berlin)
ISBN/EAN: 9783642279409
ISBN - alternative Schreibweisen:
978-3-642-27940-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: philadelphia, abstract usa
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030393212 Verification, Model Checking, and Abstract Interpretation (Dirk Beyer; Damien Zufferey)
- 9783030393212 Verification, Model Checking, and Abstract Interpretation (Dirk Beyer; Damien Zufferey)
- 9783030112455 Verification, Model Checking, and Abstract Interpretation (Constantin Enea; Ruzica Piskac)
- 9783030112448 Verification, Model Checking, and Abstract Interpretation (Constantin Enea; Ruzica Piskac)
- 9783642540134 Verification, Model Checking, and Abstract Interpretation (Kenneth McMillan; Xavier Rival)
- Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings ... Science Book 9583) (English Edition) (Kenneth McMillan)
< zum Archiv...