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

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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 €
Die besten Übungen für den Atlas-Wirbel Heike Höfler / Buch Broschur
common.buy 19.00 €
Plansza dwustronna A4 ściąga Europa / Buch binding.
common.buy 1.79 €
Le Coran expliqué aux jeunes Rachid Benzine / Buch Broschur
common.buy 12.79 €
Des petits mondes en leur début / Buch Broschur
common.buy 36.49 €
Ivres paradis, bonheurs heroiques Cyrulnik Boris Cyrulnik / E-Book Adobe ePub DRM
common.buy 14.89 €
Joan Miro TBD / Buch Hardcover
common.buy 42.89 €
Dawit Isaak Anisur Rahman / Buch Broschur
common.buy 25.99 €
UN HERISSON EMMANUELLE KECIR-LEPETIT / Buch Buch
common.buy 13.89 €
Kamumemoár James Blunt / Buch Hardcover
common.buy 16.49 €
Compliance-Anforderungen an Hersteller autonomer Software-Agenten: 5 Compliance-Prinzipien für sichere Agenten Markus Fatalin / Buch Broschur
common.buy 32.19 €
Dále nevyšlapanou cestou Nekonečná pouť duchovního růstu Morgan Scott Peck / Buch Hardcover
common.buy 10.09 €
Transiciones e Interacciones en la Sociedad del Conocimiento Johanna Pérez Daza / Buch Broschur
common.buy 54.99 €
Moje plány Jan Sokol / Buch Broschur
common.buy 15.59 €
Holašovice: Vesnická památková rezervace collegium / Buch Blatt
common.buy 13.09 €
Jak jsem se (ne)stal agentem StB Jan Vaněček / Buch binding.
common.buy 3.69 €
andere Erinnerung - Der Holocaust in der deutschsprachigen Literatur nach 1945 Katja Born / Buch Broschur
common.buy 17.95 €
Kritische Erfolgsfaktoren bei der Konzeption zielfuhrender Veranstaltungen der pharmazeutischen Industrie Jens Krösche / Buch Broschur
common.buy 44.99 €
Burenkrieg (1899-1902) Burkhard Werner / Buch Broschur
common.buy 14.99 €
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 €
Gottfried Keller Albert Köster / Buch Broschur
common.buy 26.09 €

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 €
Dominoes: Three: The Secret Agent Joseph Conrad / Buch Broschur
common.buy 14.49 €
Think Starter Workbook with Online Practice Herbert Puchta / Buch Hardcover
common.buy 10.59 €
Implementation, Usage and Advantages of Cloud Computing within Project Management using the example of an Offshore Wind Farm Project Andreas Hoppe / Buch Broschur
common.buy 40.09 €
Changing Room Zhai Yongming / Buch Broschur
common.buy 19.69 €
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 62.19 €
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 €
Introduction To The Theory Of Probability, An Parimal Mukhopadhyay / Buch Hardcover
common.buy 80.89 €
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 €
The Voice of the Pack Edison Marshall / Buch Broschur
common.buy 32.79 €
Mr. Balfour's Apologetics Critically Examined W. B. Columbine / Buch Broschur
common.buy 23.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 €
Two Dark Reigns Kendare Blake / Buch Broschur
common.buy 9.19 €
MCAS Math Workbook for Grade 7: Abundant Exercises and Two Full-Length MCAS Math Practice Tests Reza Nazari / Buch Broschur
common.buy 17.29 €
Anthems for Choirs 4 Christopher Morris / Drucksachen Noten
common.buy 26.79 €
Entering the Healing Ground WELLER FRANCIS / Buch Broschur
common.buy 15.79 €
30 Great Books That Made History Aurell / Buch Broschur
common.buy 25.29 €
Robert Rauschenberg and Surrealism Gavin Parkinson / Buch Broschur
common.buy 46.59 €
Mythic-Symbolic Language and Philosophical Anthropology D.M. Rasmussen / Buch Broschur
common.buy 107.29 €
My Mom is a Construction Manager Princess Karibo / Buch Broschur
common.buy 27.89 €
Transport and Reactivity of Solutions in Confined Hydrosystems Lionel Mercury / Buch Hardcover
common.buy 160.89 €

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?