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 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

Verification, Model Checking, and Abstract Interpretation

15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Verification, Model Checking, and Abstract Interpretation Kenneth McMillan
Code Libristo: 02340914
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, janvier 2014
This book constitutes the refereed proceedings of the 15th International Conference on Verification,... Description détaillée
? points 132 b
53.79 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

No Me Maltrates = Do Not Mistreat Me Bernardo Stamateas / Livre Livre de poche
common.buy 20.09 €
Hexen und Magie Johannes Dillinger / Livre Livre de poche
common.buy 25.00 €
Je ne veux pas mourir idiot Georges Wolinski / Livre Livre de poche
common.buy 13.59 €
Giù nella valle Paolo Cognetti / Livre Livre relié
common.buy 19.09 €

This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide range of 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 Kenneth McMillan, Xavier Rival
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2014
Nombre de pages 493
EAN 9783642540127
ISBN 3642540120
Code Libristo 02340914
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 7664
Dimensions 155 x 235 x 28

Catégories

Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique > Automatique > Robotique
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 > Matériel informatique > Equipement de réseau
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Informatique et technologies de l’information > Informatique > Intelligence artificielle
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

Subnational Population Estimates David A. Swanson / Livre Livre relié
common.buy 192.99 €
London and Westminster Improved, Illustrated by Plans: To Which is Prefixed, a Discourse on Publick Magnificence, With Observations on the State of Ar Samuel Johnson / Livre Livre de poche
common.buy 19.99 €
Human Experiment David Carmichael / Livre Livre relié
common.buy 190.59 €
History of Judaism Martin Goodman / Livre Livre de poche
common.buy 18.79 €
Follow Me Adult Colouring Book Esther Pincini / Livre Livre de poche
common.buy 14.39 €
Spatial Modeling Principles in Earth Sciences Zekai Sen / Livre Livre de poche
common.buy 159.89 €
Naturalizations of Mexican Americans John P Schmal / Livre Livre de poche
common.buy 37.89 €
Biometric Authentication: An Hybrid Face Recognition System Model Adebayo Kolawole John / Livre Livre de poche
common.buy 45.79 €
Perfect Pet for Peyton Mr Rick Osborne / Livre Livre relié
common.buy 14.99 €
Circulating Nucleic Acids in Plasma and Serum V Peter B. Gahan / Livre Livre de poche
common.buy 202.49 €
Anecdotal Theory Jane Gallop / Livre Livre de poche
common.buy 35.99 €
Atlas of Rectal Endosonography John Beynon / Livre Livre de poche
common.buy 53.79 €
New Directions in Wireless Communications Research Vahid Tarokh / Livre Livre relié
common.buy 181.49 €

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 ?