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

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 152 b
62.19 € inkl. MwSt.
Verfügbar Sofort herunterladbar

Kunden kauften auch

????:?????? ????? / E-Book Adobe ePub DRM
common.buy 6.79 €
Lettre De M. Mairan Au R. P. Parrenin ... / Buch Broschur
common.buy 21.99 €
50 recettes de Salades fraicheurs pour le printemps et l'ete Pierre-Emmanuel Malissin / E-Book Adobe ePub DRM
common.buy 3.09 €
Eleganckie pióro kulkowe EnerGel 0,7 mm BL2007-C granatowe w etui / Buch binding.
common.buy 18.19 €
Top
Vítejte v pekle Roman Bureš / Buch Broschur
common.buy 12.29 €
Architektur, Atmosphare, Wahrnehmung Martin Duchs / E-Book Adobe ePub DRM
common.buy 44.29 €
Streitlust und Streitkunst Stephan Russ-Mohl / E-Book Adobe ePub DRM
common.buy 27.39 €
Cervantes SANTIAGO MUÑOZ MACHADO / Buch Hardcover
common.buy 54.69 €
TECHNOPOLES collegium / Buch Broschur
common.buy 16.49 €
de l'Angine Ulcereuse Et Du Muguet de la Gorge Dans La Fievre Typhoide, Communications DUGUET-J / Buch Broschur
common.buy 13.19 €
Deutsches Theatrum Chemicum: Bibliotheca Chemica, Oder Catalogus Von Chymischen-b�chern, Volume 2 Friedrich Rothscholzen / Buch Broschur
common.buy 62.00 €
Demnächst
Große Gartenfreude mit kleinem Budget Kristine Hamilton / Buch Buch
common.buy 17.99 €
Die Möglichkeit des Andersseins Paul Watzlawick / Buch Hardcover
common.buy 28.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 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 36.89 €
UK Environmental Policy in the 1990s Tim S. Gray / Buch Hardcover
common.buy 118.29 €
Disorders of the Hair and Nail: Diagnosis and Treatment Bianca Maria Piraccini / Buch Hardcover
common.buy 262.59 €
Understanding School Refusal Karen J. Grandison / E-Book Adobe ePub DRM
common.buy 41.49 €
Intelligent Systems Design and Applications Ajith Abraham / Buch Broschur
common.buy 321.39 €
Advanced Woodwork and Furniture Making John Louis Feirer / Buch Broschur
common.buy 28.79 €
It Begins With You MARI WILLIAMS / Buch Broschur
common.buy 19.79 €
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 27.89 €
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 13.59 €
Wicked Delight Lily Harper Hart / Buch Broschur
common.buy 13.59 €
Microsoft Azure AI-102 Practice Tests CertSquad Professional Trainers / E-Book Adobe ePub DRM
common.buy 22.19 €
Enlightenment Now Steven Pinker / Buch Hardcover
common.buy 33.59 €
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 41.59 €
Practical Emergency Resuscitation and Critical Care Kaushal ShahJarone LeeKamal MedlejScott D. Weingart / Buch Broschur
common.buy 95.79 €
Year Book of Vascular Surgery 2014 Gillespie / Buch Hardcover
common.buy 160.89 €
China's Rise, Russia's Fall Peter Nolan / Buch Broschur
common.buy 55.49 €

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?