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
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €
phone Kontakt phoneWie einkaufen

Verification, Model Checking, and Abstract Interpretation

13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Verification, Model Checking, and Abstract Interpretation Viktor Kuncak
Libristo-Code: 01660462
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Januar 2012
This book constitutes the refereed proceedings of the 13th International Conference on Verification,... Vollständige Beschreibung
? points 148 b
60.49 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 9-15 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Computer-Numerik 2 Christoph W. Überhuber / Buch Broschur
common.buy 54.99 €
Maladies importantes, probl?mes de marché et de production des principales cultures fruiti?res Misgana Mitiku / Buch Broschur
common.buy 33.59 €
Eloge de l'Abbe Rozier, Couronne Par l'Academie de Lyon, Le 30 Aout 1832 DE BOISSIEU-A / Buch Broschur
common.buy 14.19 €
Intimidades en Soledad: Todos en el recuerdo, nadie por nombrar Manuel Jigato Rubio / Buch Broschur
common.buy 10.69 €
Allerhöchste Eisenbahn! Katharina Mahrenholtz / Buch Hardcover
common.buy 15.00 €
Sono io il piu forte! RAMOS MARIO / Buch Hardcover
common.buy 12.49 €
ELEGIE VOIX-VLC-PIANO MUSIQUE D'ENSEMBLE JULES COHEN Buch binding.
common.buy 15.69 €
Tosia i Julek czekają na brata. (Nie) tacy sami Magdalena Boćko-Mysiorska / Buch Hardcover
common.buy 6.29 €
Organizzazione delle altezze nello spazio temperato Luigi Verdi / Buch Hardcover
common.buy 38.99 €
Die Geburt der Tragödie, Sonderausgabe Friedrich Nietzsche / Buch Broschur
common.buy 12.00 €
VALENCIA 2018 PASCUAL IZQUIERDO / Buch Broschur
common.buy 21.19 €
LA LIBRETA ROJA DE LA PATERNIDAD CARLOS ESCUDERO / Buch Broschur
common.buy 22.09 €
LINDER Biologie SII - Ausgabe 2018 für Sachsen Horst Bayrhuber / Buch Hardcover
common.buy 33.69 €
Interdependenz Von Zivilrecht Und Sozialrecht Nach Der Ehescheidung Mark Grohmann / Buch Broschur
common.buy 77.29 €
Bese Ese Sapo!: 12 Formas de Convertir Lo Negativo en Positivo = Kiss That Frog! Brian Tracy / Buch Broschur
common.buy 15.29 €
Energie Aus Biomasse - Ein Ethisches Diskussionsmodell Michael Zichy / Buch Broschur
common.buy 29.99 €
Die CSU Alf Mintzel / Buch Broschur
common.buy 55.29 €
Wie ich ein Lügner wurde... Arkadij T. Awertschenko / Buch Broschur
common.buy 22.90 €
Westfassade des Domes in Siena Silvia Katzenmaier / Buch Broschur
common.buy 17.95 €
Lernort Burgerrundfunk - Offene Hoerfunk- und Fernsehkanale und Nichtkommerzielle Lokalradios in der Bundesrepublik Deutschland Brigitte Kertscher / Buch Broschur
common.buy 52.95 €

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.

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 Viktor Kuncak, Andrey Rybalchenko
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2012
Anzahl der Seiten 457
EAN 9783642279393
ISBN 3642279392
Libristo-Code 01660462
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 709
Abmessungen 155 x 235 x 28

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 > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
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

Secret of Chimneys / Buch Broschur
common.buy 20.09 €
Knowledge of Heaven and Earth, Book Two Mick Richfield / Buch Broschur
common.buy 22.09 €
The Art of Painting in Oil John Smith / Buch Broschur
common.buy 15.99 €
Magnus and the Night Lion Sanne Dufft / Buch Broschur
common.buy 9.19 €
Pinpoint Maths Times Tables Detectives Year 4 Lucy Roberts / Buch Broschur
common.buy 8.09 €
Diseases of the Foetus in Utero, (Not Including Malformations). with Outline of Foetal Development HENRY MADGE / Buch Broschur
common.buy 22.89 €
Tender Persuasion Jean Hackensmith / Buch Broschur
common.buy 15.39 €
Royal Merchant; An Opera Fletcher / Buch Hardcover
common.buy 30.79 €
Mills Mill Pals Pamela Chaffin Foster / Buch Broschur
common.buy 23.79 €
Select Works of Antony Van Leeuwenhoek, Containing His Microscopical Discoveries in Many of the Works of Nature. Translated from the Dutch and Latin E Antoni van Leeuwenhoek / Buch Broschur
common.buy 32.09 €
Fandom, Image and Authenticity Jennifer Otter Bickerdike / Buch Hardcover
common.buy 57.79 €
Soul in the Brain Michael R. Trimble / Buch Hardcover
common.buy 47.29 €
How To Survive Peer Review Elizabeth Wager / Buch Broschur
common.buy 33.39 €
Power System Economics - Designing Markets for Electricity Stoft / Buch Broschur
common.buy 103.39 €

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?