Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Verification, Model Checking, and Abstract Interpretation

11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Verification, Model Checking, and Abstract Interpretation Gilles Barthe
Libristo-Code: 01655343
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Jänner 2010
This book constitutes the refereed proceedings of the 11th International Conference on Verification,... Vollständige Beschreibung
? points 148 b
60.39 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Le Coran expliqué aux jeunes Rachid Benzine / Buch Broschur
common.buy 12.99 €
Dále nevyšlapanou cestou Nekonečná pouť duchovního růstu Morgan Scott Peck / Buch Hardcover
common.buy 10.09 €
Burenkrieg (1899-1902) Burkhard Werner / Buch Broschur
common.buy 14.99 €
Augusto Giacometti Beat Stutzer / Buch Broschur
common.buy 48.00 €
Metody prepodawaniq-obucheniq i akademicheskaq uspewaemost' studentow Abubakar Obilan / Buch Broschur
common.buy 18.69 €
Compliance-Anforderungen an Hersteller autonomer Software-Agenten: 5 Compliance-Prinzipien für sichere Agenten Markus Fatalin / Buch Broschur
common.buy 32.19 €
Kritische Erfolgsfaktoren bei der Konzeption zielfuhrender Veranstaltungen der pharmazeutischen Industrie Jens Krösche / Buch Broschur
common.buy 44.99 €
andere Erinnerung - Der Holocaust in der deutschsprachigen Literatur nach 1945 Katja Born / Buch Broschur
common.buy 17.95 €
Plansza dwustronna A4 ściąga Europa / Buch binding.
common.buy 1.79 €
Ivres paradis, bonheurs heroiques Cyrulnik Boris Cyrulnik / E-Book Adobe ePub DRM
common.buy 14.69 €
Joan Miro TBD / Buch Hardcover
common.buy 40.89 €
Dawit Isaak Anisur Rahman / Buch Broschur
common.buy 25.99 €
UN HERISSON EMMANUELLE KECIR-LEPETIT / Buch Buch
common.buy 13.99 €
Jak jsem se (ne)stal agentem StB Jan Vaněček / Buch binding.
common.buy 3.69 €
Holašovice: Vesnická památková rezervace collegium / Buch Blatt
common.buy 13.09 €
Des petits mondes en leur début / Buch Broschur
common.buy 36.49 €
Das Duell - Ehrenkämpfe vom Mittelalter bis zur Moderne Ulrike Ludwig / Buch Hardcover
common.buy 54.00 €
Indische Reisebriefe Ernst Haeckel / Buch Broschur
common.buy 39.90 €
Integrierte Versorgung bei Demenzerkrankungen Lucie Barth / Buch Broschur
common.buy 34.99 €
Sang famille Michel Bussi / Buch Broschur
common.buy 13.69 €
Traite Du Jeu. Volume 1 BARBEYRAC-J / Buch Broschur
common.buy 31.29 €
Gottfried Keller Albert Köster / Buch Broschur
common.buy 26.09 €
de la Difference d'Action Sur l'Organisme Des Medicaments Naturels PERRY-J-J / Buch Broschur
common.buy 14.19 €
Iniciacion deportiva en la escuela Abadi / Buch Broschur
common.buy 30.69 €

This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010. §The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Verification, Model Checking, and Abstract Interpretation
Autor Gilles Barthe, Manuel Hermenegildo
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2010
Anzahl der Seiten 397
EAN 9783642113185
ISBN 3642113184
Libristo-Code 01655343
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 612
Abmessungen 155 x 235 x 23

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Betriebssysteme
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Bio-Inspired Computing and Applications De-Shuang Huang / Buch Broschur
common.buy 60.39 €
Paleocene Faunas of the San Juan Basin, New Mexico: Transactions of the American Philosophical Society, New Series, V30 William Diller Matthew / Buch Hardcover
common.buy 64.09 €
Changing Room Zhai Yongming / Buch Broschur
common.buy 19.99 €
Torn in the New Sa Bronwyn McIntosh / Buch Broschur
common.buy 24.89 €
English Physician's Guide or a Holy Guide V1 John Heydon / Buch Hardcover
common.buy 56.69 €
Heterogeneity in Distributed Embedded Systems. From Programming Paradigms to Testing Tobias Baumgartner / Buch Broschur
common.buy 29.29 €
REASONABLE SERVICE WILLIAM PAG ROBERTS / Buch Hardcover
common.buy 32.79 €
Corporations in Pennsylvania. Volume 2 of 2 Walter Murphy / Buch Broschur
common.buy 27.19 €
Seven Hours at the Ocean Ty Davis / Buch Broschur
common.buy 7.99 €
Mr. Balfour's Apologetics Critically Examined W. B. Columbine / Buch Broschur
common.buy 23.39 €
Entering the Healing Ground WELLER FRANCIS / Buch Broschur
common.buy 15.79 €
MCAS Math Workbook for Grade 7: Abundant Exercises and Two Full-Length MCAS Math Practice Tests Reza Nazari / Buch Broschur
common.buy 17.29 €
Two Dark Reigns Kendare Blake / Buch Broschur
common.buy 9.49 €
The Voice of the Pack Edison Marshall / Buch Broschur
common.buy 32.79 €
The BOOK of DEUS DESUM: The Abesnt or Missing God Nancy Phillips / Buch Broschur
common.buy 13.49 €
My Mom is a Construction Manager Princess Karibo / Buch Broschur
common.buy 27.89 €
Robert Rauschenberg and Surrealism Gavin Parkinson / Buch Broschur
common.buy 46.59 €
30 Great Books That Made History Aurell / Buch Broschur
common.buy 24.79 €
Think Starter Workbook with Online Practice Herbert Puchta / Buch Hardcover
common.buy 11.19 €
Introduction To The Theory Of Probability, An Parimal Mukhopadhyay / Buch Hardcover
common.buy 80.89 €
Anthems for Choirs 4 Christopher Morris / Drucksachen Noten
common.buy 26.79 €
Get addicted to free-motion quilting Sheila Sinclair Snyder / Buch Broschur
common.buy 19.39 €
Mythic-Symbolic Language and Philosophical Anthropology D.M. Rasmussen / Buch Broschur
common.buy 107.29 €
History of the People's Republic of China, 1949-1976 Julia Strauss / Buch Broschur
common.buy 51.59 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?