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

Sprache EnglischEnglisch
Buch Broschur
Buch Verification, Model Checking, and Abstract Interpretation Ahmed Bouajjani
Libristo-Code: 15560990
Verlag Springer International Publishing AG, Jänner 2017
This book constitutes the refereed proceedings of the 18th International Conference on Verification,... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Satires Contre Les Astronomes MERCIER-L-S / Buch Broschur
common.buy 14.19 €
MEURTRIERS SANS VISAGE Henning Mankell / Buch Broschur
common.buy 15.39 €
Malvadita Keselman / Hörbuch MP3
common.buy 4.19 €
Os animais tem alma? ERNESTO BOZZANO / Buch Broschur
common.buy 14.39 €
Viaggi attraverso le cose. Ediz. numerata Corrado Alvaro / Buch Broschur
common.buy 7.69 €
Batman - Svět Různí / Buch Hardcover
common.buy 19.29 €
ATS GRUPO B ADMINISTRACION ESPECIAL DE LA GENERALITAT VALENC EDITORIAL MAD / Buch Hardcover
common.buy 66.19 €
Demnächst
Mésopotamie - L'apparition de l'état, VIIe IIIe millénaires FOREST / Buch Buch
common.buy 89.69 €
Modèle de Hubbard étendu: Aspects électronique et magnétique Said Harir / Buch Broschur
common.buy 46.59 €
Feelgood-Management Ulrike Weber / Buch Broschur
common.buy 14.99 €
Lehrer sein! Johannes Baumann / Buch Broschur
common.buy 24.95 €
Aktuelle Rechtsfragen im Radsport Manfred Büchele / Buch Broschur
common.buy 63.09 €

This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017. The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

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 Ahmed Bouajjani, David Monniaux
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2017
Anzahl der Seiten 560
EAN 9783319522333
ISBN 3319522337
Libristo-Code 15560990
Verlag Springer International Publishing AG
Gewicht 8657
Abmessungen 155 x 235 x 31

Kategorie

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)
EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware
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

Remaking China's Great Cities Sam Liang / Buch Hardcover
common.buy 242.59 €
Climate Change and Mango Production Syed Atif Hasan Naqvi / E-Book Adobe ePub DRM
common.buy 248.09 €
INFINITY SAGA CAPT AMER WINTER SOLDIER A MARVEL STUDIOS / Buch Hardcover
common.buy 31.99 €
Applying the Scientific Method to Learn from Mistakes and Approach Truth Finlay MacRitchie / E-Book Adobe ePub DRM
common.buy 51.99 €
Amazing Writers: B2 (Collins Amazing People ELT Readers) Katerina Mestheneou / Hörbuch MP3
common.buy 8.69 €
Season's of a Mother's Heart Sally Clarkson / Buch Broschur
common.buy 12.69 €
Demnächst
Henry Demarest Lloyd and the Empire of Reform Chester Mcarthu Destler / Buch Hardcover
common.buy 170.29 €
Psychedelic Alien Monster: Cannabis College Ruled Notebook Cannabis Growers Press / Buch Broschur
common.buy 9.79 €
Speak Life: Restoring Healthy Communication in How You Think, Talk, and Pray Brady Boyd / Buch Broschur
common.buy 19.39 €
Technology, Modernity, and Democracy Eduardo Beira / Buch Hardcover
common.buy 173.89 €
Adventures of Hugh Jorgan Rock Harding / Buch Broschur
common.buy 10.99 €
KJV Holy Bible, Personal Size Giant Print Reference Bible, Deluxe Burgundy Leathersoft, Thumb Indexed, 43,000 Cross References, Red Letter, Comfort Pr Thomas Nelson / Buch Hardcover
common.buy 39.69 €
Red Earth Joel Canfield / Buch Broschur
common.buy 20.99 €
Oracle WebLogic Server 12c Administration I Exam 1Z0-133 Gustavo Garnica / Buch Broschur
common.buy 62.89 €
Top
Peppa Pig: Hide and Peek Peppa Pig / Buch Leporello
common.buy 8.09 €
Damned If I Do, Dead If I Don't Hannah Bonde / Buch Broschur
common.buy 18.99 €
Shipcraft 24: Japanese Battleship s Fuso and Ise Classes Robert Brown / Buch Broschur
common.buy 21.79 €
ACTOR OR A PEEP BEHIND THE CUR Thomas Ford / Buch Broschur
common.buy 19.99 €
Unbounded Chronicles David Schneider / Buch Broschur
common.buy 30.79 €
Animals A-Z Trevor E Coward / Buch Broschur
common.buy 17.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?