Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
La Poste Autrichienne 5.49 € Service de messagerie GLS 4.99 € Coursier DPD 4.49 € Point DPD 3.49 €
phone Contact phoneComment faire ses achats

Verification, Model Checking, and Abstract Interpretation

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

Langue AnglaisAnglais
Livre numérique Adobe ePub DRM
Livre numérique Verification, Model Checking, and Abstract Interpretation Ahmed Bouajjani
Code Libristo: 41038562
Éditeurs Springer, janvier 2017
This book constitutes the refereed proceedings of the 18th International Conference on Verification,... Description détaillée
? points 126 b
51.49 € TVA incluse
En stock Immédiatement téléchargeable

Les clients ont également acheté

Streitlust und Streitkunst Stephan Russ-Mohl / Livre numérique Adobe ePub DRM
common.buy 22.19 €
Eleganckie pióro kulkowe EnerGel 0,7 mm BL2007-C granatowe w etui / Livre binding.
common.buy 13.59 €
Lettre De M. Mairan Au R. P. Parrenin ... / Livre Livre de poche
common.buy 21.99 €
????:?????? ????? / Livre numérique Adobe ePub DRM
common.buy 5.59 €
MRSA-net MK. Ein regionales Netzwerk zur Pravention und Kontrolle von MRSA im Markischen Kreis Torsten Sauer / Livre Livre de poche
common.buy 18.95 €
50 recettes de Salades fraicheurs pour le printemps et l'ete Pierre-Emmanuel Malissin / Livre numérique Adobe ePub DRM
common.buy 2.49 €
Vítejte v pekle Roman Bureš / Livre Livre de poche
common.buy 9.89 €
Architektur, Atmosphare, Wahrnehmung Martin Duchs / Livre numérique Adobe ePub DRM
common.buy 36.59 €
Cervantes SANTIAGO MUÑOZ MACHADO / Livre Livre relié
common.buy 46.29 €
Die Möglichkeit des Andersseins Paul Watzlawick / Livre Livre relié
common.buy 25.00 €
TECHNOPOLES collegium / Livre Livre de poche
common.buy 12.89 €
Bientôt
Große Gartenfreude mit kleinem Budget Kristine Hamilton / Livre Livre
common.buy 17.99 €
Deutsches Theatrum Chemicum: Bibliotheca Chemica, Oder Catalogus Von Chymischen-b�chern, Volume 2 Friedrich Rothscholzen / Livre Livre de poche
common.buy 62.00 €
de l'Angine Ulcereuse Et Du Muguet de la Gorge Dans La Fievre Typhoide, Communications DUGUET-J / Livre Livre de poche
common.buy 10.69 €

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. 

Actrice & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Verification, Model Checking, and Abstract Interpretation
Auteur Ahmed Bouajjani, David Monniaux
Langue Anglais
Reliure Livre numérique - Adobe ePub DRM
Date de parution 2017
EAN 9783319522340
Code Libristo 41038562
Éditeurs Springer

Catégories

Informatique et technologies de l’information > Informatique > Interaction homme-machine > Conception de l’interface utilisateur et facilité d’utilisation
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Informatique théorique
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Enhanced Test Automation with WebdriverIO Paul M. Grossman / Livre numérique Adobe ePub DRM
common.buy 30.19 €
Karl Marx's Theory of Ideas John Torrance / Livre Livre de poche
common.buy 50.19 €
Microsoft Azure AI-102 Practice Tests CertSquad Professional Trainers / Livre numérique Adobe ePub DRM
common.buy 17.99 €
Blue Ocean Strategy + Beyond Disruption Collection (2 Books) W. Chan Kim / Livre numérique Adobe ePub DRM
common.buy 52.39 €
Disorders of the Hair and Nail: Diagnosis and Treatment Bianca Maria Piraccini / Livre Livre relié
common.buy 212.89 €
Understanding School Refusal Karen J. Grandison / Livre numérique Adobe ePub DRM
common.buy 34.29 €
Intelligent Systems Design and Applications Ajith Abraham / Livre Livre de poche
common.buy 304.89 €
Advanced Woodwork and Furniture Making John Louis Feirer / Livre Livre de poche
common.buy 28.79 €
It Begins With You MARI WILLIAMS / Livre Livre de poche
common.buy 16.49 €
Annual Report of the Secretary of the State Board of Agriculture ... and ... Annual Report of the Experimental Station ... Michigan State Dept of Agriculture / Livre Livre de poche
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 / Livre Livre de poche
common.buy 13.59 €
Wicked Delight Lily Harper Hart / Livre Livre de poche
common.buy 13.59 €
Disenfranchising Democracy Bateman / Livre Livre de poche
common.buy 35.39 €
Enlightenment Now Steven Pinker / Livre Livre relié
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 / Livre Livre relié
common.buy 33.89 €
Year Book of Vascular Surgery 2014 Gillespie / Livre Livre relié
common.buy 127.79 €
Strabo's Cultural Geography Daniela DueckHugh LindsaySarah Pothecary / Livre Livre relié
common.buy 70.49 €
China's Rise, Russia's Fall Peter Nolan / Livre Livre de poche
common.buy 52.69 €
Abordable
Power Maths Year 4 Teacher Guide 4A / Livre Reliure à anneaux
common.buy 20.99 €
Practical Emergency Resuscitation and Critical Care Kaushal ShahJarone LeeKamal MedlejScott D. Weingart / Livre Livre de poche
common.buy 82.09 €
UK Environmental Policy in the 1990s Tim S. Gray / Livre Livre relié
common.buy 97.79 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?