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

9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Verification, Model Checking, and Abstract Interpretation Francesco Logozzo
Code Libristo: 01569894
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, février 2008
This book contains the proceedings of VMCAI 2007. It features current research from the communities... 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é

Ergebnisse Der Inneren Medizin Und Kinderheilkunde L. Langstein / Livre Livre de poche
common.buy 65.69 €
Selbstorganisierende Merkmalskarten zum Lernen von Gesten Andreas Rüter / Livre Livre de poche
common.buy 51.99 €
FILOSOFIA DE LA CIENCIA EN LA EDUCACION / Livre Livre
common.buy 41.39 €
Kužeľosečky 1 Kružnica I.diel Marián Olejár / Livre Livre de poche
common.buy 3.39 €
Entwicklungswerttheorie, Entwicklungsökonomie, Menschenökonomie - Eine Programmschrift Rudolf Goldscheid / Livre Livre de poche
common.buy 23.79 €
L'ORTHODONTIE FONCTIONNELLE Choukroun / Livre Livre de poche
common.buy 59.39 €
Die Psychologie Descartes'.: Systematisch Und Historisch-Kritisch Anton Koch / Livre Livre de poche
common.buy 25.69 €
Verordnung über die Berufsausbildung zum Kerzenhersteller und Wachsbildner und zur Kerzenherstellerin und Wachsbildnerin Antiphon Verlag / Livre Livre de poche
common.buy 11.99 €
Engagementpolitik Thomas Olk / Livre Livre de poche
common.buy 84.99 €
Geburt der Musik Willy Pastor / Livre Livre de poche
common.buy 24.90 €
Djinn Jorge Pardo / Audio CD Audio
common.buy 23.89 €
Ränder der Moderne Robert Weimann / Livre Livre de poche
common.buy 13.49 €

This book contains the proceedings of VMCAI 2007. It features current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, and advancement of hybrid methods.

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 Francesco Logozzo, Doron A. Peled, Leonore D. Zuck
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2008
Nombre de pages 325
EAN 9783540781622
ISBN 3540781625
Code Libristo 01569894
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 522
Dimensions 155 x 235 x 19

Catégories

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Compilateurs et interpréteurs
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 > Architecture informatique et conception logique
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

Electrochemistry IV Eberhard Steckhan / Livre Livre relié
common.buy 142.79 €
Now the Cats With Jeweled Claws and Other One-Act Plays Tennessee Williams / Livre Livre de poche
common.buy 16.19 €
Westmorland Alone Ian Sansom / Livre audio MP3
common.buy 14.89 €
Trump Boom Andrew Puzder / Livre Livre de poche
common.buy 14.99 €
Leave Me Breathless: A Three Book Set of Hot and Steamy Romances Kristin Daniels / Livre Livre de poche
common.buy 10.69 €
Jake Wolf Attorney at Law David Shaw / Livre Livre de poche
common.buy 9.59 €
Truffaut on Cinema Anne Gillain / Livre Livre de poche
common.buy 37.89 €
Guide Book To York Minster F. Harriso / Livre Livre de poche
common.buy 24.49 €
Prince of Rockport Guy Vanamburg / Livre Livre de poche
common.buy 20.09 €
Essay on the Progressive Improvement of Mankind. an Oration Delivered in the Chapel of Trinity College, Cambridge, on the Day of Commemoration ... William Lamb Melbourne / Livre Livre de poche
common.buy 13.29 €
National Flood Insurance Program Cameron O'Kelly / Livre Livre de poche
common.buy 91.89 €
Cambridge English: First Masterclass: Class Audio CDs Barbara Stewart / Audio CD Audio
common.buy 94.99 €
Neighbors, Strangers, Witches, and Culture-Heroes Susan J Rasmussen / Livre Livre relié
common.buy 97.99 €
Conceiving Risk, Bearing Responsibility Elizabeth M. Armstrong / Livre Livre de poche
common.buy 36.69 €
Twentieth-Century Diplomacy John W. Young / Livre Livre de poche
common.buy 63.09 €
Discover English 3 Učebnice Jayne Wildman / Livre Livre de poche
common.buy 20.99 €

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 ?