- 5 Ergebnisse
Kleinster Preis: € 14,04, größter Preis: € 75,25, Mittelwert: € 48,17
1
Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings Viktor Kuncak (u. a.) Taschenbuch - Kuncak, Viktor
Bestellen
bei booklooker.de
€ 22,90
Bestellen
Details und Versand
gesponserter Link
Kuncak, Viktor:

Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings Viktor Kuncak (u. a.) Taschenbuch - Taschenbuch

2012, ISBN: 9783642279393

[ED: Taschenbuch], [PU: Springer Berlin], This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation,… Mehr…

Versandkosten:Zzgl. Versandkosten., zzgl. Versandkosten preigu
zuklappen (X)
2
Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, ... (Lecture Notes in Computer Science, 7148)
Bestellen
bei amazon.co.uk
£ 12,00
(ca. € 14,04)
Versand: € 5,611
Bestellen
Details beim Anbieter
gesponserter Link
Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, ... (Lecture Notes in Computer Science, 7148) - Taschenbuch

2012, ISBN: 9783642279393

Editor: Kuncak, Viktor, Editor: Rybalchenko, Andrey, Springer, Paperback, Auflage: 2012, 467 Seiten, Publiziert: 2012-01-12T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: 111 black & whi… Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.61)
zuklappen (X)
3
Verification, Model Checking, and Abstract Interpretation - Springer Berlin
Bestellen
bei Thalia.de
€ 67,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Springer Berlin:
Verification, Model Checking, and Abstract Interpretation - Taschenbuch

2012

ISBN: 9783642279393

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…

Nr. 30710775. Versandkosten:, Sofort lieferbar, DE. (EUR 0.00)
zuklappen (X)
4
Bestellen
bei AbeBooks.de
€ 75,25
Versand: € 9,361
Bestellen
Details beim Anbieter
gesponserter Link
Viktor Kuncak:
Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 2224, 2012, Proceedings 7148 Lecture Notes in Computer Science - Taschenbuch

2012, ISBN: 3642279392

[EAN: 9783642279393], Neubuch, [PU: Springer], New Book. Shipped from UK. Established seller since 2000., Books

NEW BOOK. Versandkosten: EUR 9.36 PBShop.store UK, Fairford, GLOS, United Kingdom [190245] [Rating: 5 (von 5)]
zuklappen (X)
5
Bestellen
bei AbeBooks.de
€ 60,68
Versand: € 68,491
Bestellen
Details beim Anbieter
gesponserter Link
Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings (Lecture Notes in Computer Science, 7148) - Taschenbuch

2012, ISBN: 3642279392

[EAN: 9783642279393], Neubuch, [PU: Springer], Books

NEW BOOK. Versandkosten: EUR 68.49 Lucky's Textbooks, Dallas, TX, U.S.A. [60577173] [Rating: 5 (von 5)]
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, ... (Lecture Notes in Computer Science, 7148)
Autor:
Titel:
ISBN-Nummer:

9783642279393

Detailangaben zum Buch - Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, ... (Lecture Notes in Computer Science, 7148)


EAN (ISBN-13): 9783642279393
ISBN (ISBN-10): 3642279392
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2012
Herausgeber: Springer
460 Seiten
Gewicht: 0,709 kg
Sprache: Englisch

Buch in der Datenbank seit 2008-09-02T19:04:44+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-08T20:00:06+01:00 (Berlin)
ISBN/EAN: 9783642279393

ISBN - alternative Schreibweisen:
3-642-27939-2, 978-3-642-27939-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: kunc, ryba
Titel des Buches: philadelphia, model interpretations, viktor, abstract usa

Daten vom Verlag:

Autor/in: Viktor Kuncak; Andrey Rybalchenko
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings
Verlag: Springer; Springer Berlin
457 Seiten
Erscheinungsjahr: 2012-01-12
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
X, 457 p. 111 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; access permissions; concurrency; control flow; disassembly; validation; algorithm analysis and problem complexity; Computer Science Logic and Foundations of Programming; Software Engineering; Compilers and Interpreters; Algorithms; Formal Languages and Automata Theory; Programming Techniques; Software Engineering; Compiler und Übersetzer; Algorithmen und Datenstrukturen; Computerprogrammierung und Softwareentwicklung; EA

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, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.
State-of-the-art research Fast-track conference proceedings Unique visibility

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783030945824 Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proc (Bernd Finkbeiner; Thomas Wies)

< zum Archiv...