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
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €
phone Kontakt phoneWie einkaufen

Verification, Model Checking, and Abstract Interpretation

18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

Sprache EnglischEnglisch
E-Book Adobe ePub DRM
E-Book Verification, Model Checking, and Abstract Interpretation Ahmed Bouajjani
Libristo-Code: 41038562
Verlag Springer, Jänner 2017
This book constitutes the refereed proceedings of the 18th International Conference on Verification,... Vollständige Beschreibung
? points 126 b
51.29 € inkl. MwSt.
Verfügbar Sofort herunterladbar

Kunden kauften auch

En lek med hjartan Barbara Cartland / E-Book Adobe ePub DRM
common.buy 7.39 €
Eleganckie pióro kulkowe EnerGel 0,7 mm BL2007-C granatowe w etui / Buch binding.
common.buy 15.49 €
Was ist Religion? Kulturabteilung der Botschaft der Islamischen Republik Iran in Berlin / Buch Broschur
common.buy 12.00 €
Nebenverdienst mit Heimarbeit 2 Sigmund Schmid / E-Book Adobe ePub DRM
common.buy 13.89 €
50 recettes de Salades fraicheurs pour le printemps et l'ete Pierre-Emmanuel Malissin / E-Book Adobe ePub DRM
common.buy 2.49 €
MRSA-net MK. Ein regionales Netzwerk zur Pravention und Kontrolle von MRSA im Markischen Kreis Torsten Sauer / Buch Broschur
common.buy 18.95 €
????:?????? ????? / E-Book Adobe ePub DRM
common.buy 5.49 €
Lettre De M. Mairan Au R. P. Parrenin ... / Buch Broschur
common.buy 19.99 €
Minden apró esőcsepp Mia Sheridan / Buch Hardcover
common.buy 13.59 €
Vítejte v pekle Roman Bureš / Buch Broschur
common.buy 10.59 €
Architektur, Atmosphare, Wahrnehmung Martin Duchs / E-Book Adobe ePub DRM
common.buy 36.39 €
Streitlust und Streitkunst Stephan Russ-Mohl / E-Book Adobe ePub DRM
common.buy 22.09 €
Cervantes SANTIAGO MUÑOZ MACHADO / Buch Hardcover
common.buy 50.49 €
TECHNOPOLES collegium / Buch Broschur
common.buy 13.39 €
L'Ange du Lac (L'Orpheline des neiges, Tome 6) Marie-Bernadette Dupuy / Buch Broschur
common.buy 14.99 €
Die Möglichkeit des Andersseins Paul Watzlawick / Buch Hardcover
common.buy 25.00 €
escenarios de la responsabilidad social universitaria Alcivar Trejo Carlos / Buch Broschur
common.buy 39.69 €
The Crow - Ultimate Edition James O'Barr / Buch Hardcover
common.buy 29.99 €
Cours d'Etudes Mathematiques Pures Et Appliquees. Partie 2 Duboys-Labernarde-C-A / Buch Broschur
common.buy 26.39 €
de l'Angine Ulcereuse Et Du Muguet de la Gorge Dans La Fievre Typhoide, Communications DUGUET-J / Buch Broschur
common.buy 11.99 €
Demnächst
Große Gartenfreude mit kleinem Budget Kristine Hamilton / Buch Buch
common.buy 17.99 €
Deutsches Theatrum Chemicum: Bibliotheca Chemica, Oder Catalogus Von Chymischen-b�chern, Volume 2 Friedrich Rothscholzen / Buch Broschur
common.buy 62.00 €

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 E-Book - Adobe ePub DRM
Datum der Veröffentlichung 2017
EAN 9783319522340
Libristo-Code 41038562
Verlag Springer

Kategorie

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
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

Enhanced Test Automation with WebdriverIO Paul M. Grossman / E-Book Adobe ePub DRM
common.buy 30.09 €
Current Controversies in Philosophy of Mind Uriah Kriegel / Buch Broschur
common.buy 59.29 €
Microsoft Azure AI-102 Practice Tests CertSquad Professional Trainers / E-Book Adobe ePub DRM
common.buy 17.99 €
Blue Ocean Strategy + Beyond Disruption Collection (2 Books) W. Chan Kim / E-Book Adobe ePub DRM
common.buy 52.19 €
Amazing Facts Sir David Attenborough Hannah Wilson / E-Book Adobe ePub DRM
common.buy 4.99 €
Disorders of the Hair and Nail: Diagnosis and Treatment Bianca Maria Piraccini / Buch Hardcover
common.buy 234.59 €
Understanding School Refusal Karen J. Grandison / E-Book Adobe ePub DRM
common.buy 34.19 €
Intelligent Systems Design and Applications Ajith Abraham / Buch Broschur
common.buy 304.89 €
Advanced Woodwork and Furniture Making John Louis Feirer / Buch Broschur
common.buy 30.39 €
It Begins With You MARI WILLIAMS / Buch Broschur
common.buy 18.09 €
Annual Report of the Secretary of the State Board of Agriculture ... and ... Annual Report of the Experimental Station ... Michigan State Dept of Agriculture / Buch Broschur
common.buy 24.69 €
English Haitian Creole Educational 240 First Words Activity Colors Book for Toddlers (40 All Color Pages): New childrens learning cards for preschool Modern School Learning / Buch Broschur
common.buy 12.19 €
Just Friends (A Real Man, 19) Jenika Snow / Buch Broschur
common.buy 12.19 €
Wicked Delight Lily Harper Hart / Buch Broschur
common.buy 12.19 €
Disenfranchising Democracy Bateman / Buch Broschur
common.buy 39.29 €
Günstig
Power Maths Year 4 Teacher Guide 4A / Buch Ring
common.buy 8.39 €
Enlightenment Now Steven Pinker / Buch Hardcover
common.buy 31.79 €
The Maison Tellier Guy De Maupassant / Buch Broschur
common.buy 16.49 €
UK Environmental Policy in the 1990s Tim S. Gray / Buch Hardcover
common.buy 109.29 €
Annual Report of the Board of Gas and Electric Light Commissioners of the Commonwealth of Massachusetts, Volume 25 Massachusetts Board of Gas and Electric / Buch Hardcover
common.buy 37.79 €
China's Rise, Russia's Fall Peter Nolan / Buch Broschur
common.buy 52.69 €
Arnold's March from Cambridge to Quebec Justin H Smith / Buch Broschur
common.buy 35.29 €
Year Book of Vascular Surgery 2014 Gillespie / Buch Hardcover
common.buy 141.69 €
Karl Marx's Theory of Ideas John Torrance / Buch Broschur
common.buy 55.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?