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

10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Verification, Model Checking, and Abstract Interpretation Neil D. Jones
Code Libristo: 01571263
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, décembre 2008
The book constitutes the refereed proceedings of the 10th International Conference on Verification,... Description détaillée
? points 125 b
50.99 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Correlaciones entre la personalidad y el rendimiento académico de los adolescentes / Livre Livre de poche
common.buy 32.59 €
Geheime Liebe auf Sylt Gabriele Diechler / Livre Livre de poche
common.buy 9.99 €
Neumírej před smrtí Jevgenij Jevtušenko / Livre binding.
common.buy 9.09 €
Top
Tantrická masáž Kalashatra Govinda / Livre Livre relié
common.buy 18.09 €
Death note. Short stories Tsugumi Ohba / Livre Livre de poche
common.buy 7.79 €
Anekdòt -2 Bob Lapierre / Livre Livre de poche
common.buy 36.19 €
A zárda gyermekei Patricia Gibney / Livre Livre relié
common.buy 13.59 €
剑神重生：第二十一部 天雷猪 / Livre Livre de poche
common.buy 41.89 €
Schweizerdeutsch und Sprachbewusstsein Emanuel Ruoss / Livre Livre de poche
common.buy 34.95 €
Quer durch Athen Petros Markaris / Livre Livre de poche
common.buy 15.00 €
Illusions comiques à l'irlandaise Kilroy Livre Livre de poche
common.buy 15.89 €
Potigny - au siècle des mineurs Benjamin / Livre Livre relié
common.buy 26.89 €
Bientôt
Das Orakel vom Berge Philip K. Dick / Livre Livre de poche
common.buy 9.99 €
Feynman-Vorlesungen über Physik / Strahlung und Wärme Richard P. Feynman / Livre Livre relié
common.buy 69.95 €
Processus d'Impression Textiles Zouhaier Romdhani / Livre Livre de poche
common.buy 40.49 €
Quantifizierung Operationeller Risiken Christian Bohlender / Livre Livre de poche
common.buy 49.00 €
Pověsti Čech, Moravy a Slezska August Sedláček / Livre Livre relié
common.buy 8.69 €
La vuelta al mundo en 80 días GERONIMO STILTON / Livre Livre de poche
common.buy 13.79 €
Die Wahrheit über mich - Das Fragespiel David Tripolina / Jeu/jouet Jeu
common.buy 8.99 €
Management et fidélisation des saisonniers en hôtellerie Hervé Cabantous / Livre Livre de poche
common.buy 39.59 €
Wahrnehmung der Qualitat der Abschlussprufung Johanna Souad Qandil / Livre Livre de poche
common.buy 64.99 €
C. G. J. Jacobi's Gesammelte Werke Carl Gustav Jacob JacobiKarl Weierstrass / Livre Livre de poche
common.buy 73.59 €
Fuzzy-Expertensysteme Zur Beurteilung Von Kreditrisiken Hans-Peter Güllich / Livre Livre de poche
common.buy 54.99 €
Propaganda. 100 Seiten Alexandra Bleyer / Livre Livre de poche
common.buy 12.00 €

The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009 - co-located with POPL 2009, the 36th Annual Symposium on Principles of Programming Languages.§The 24 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 72 submissions. The papers address all current issues from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas.

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 Neil D. Jones, Markus Müller-Olm
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2008
Nombre de pages 381
EAN 9783540938996
ISBN 3540938990
Code Libristo 01571263
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 605
Dimensions 155 x 235 x 23

Catégories

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Algorithmes et structures des données
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
Informatique et technologies de l’information > Systèmes d’exploitation
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

Diagram Geometry Buekenhout / Livre Livre de poche
common.buy 111.89 €
Writing What People Buy Anne Hart / Livre Livre de poche
common.buy 17.99 €
Top
Invincible Compendium Volume 3 Robert Kirkman / Livre Livre de poche
common.buy 45.89 €
Tiny House: Remarkable Beginners Guide to Interior Design, Affordable Living, and 50 Hacks for Ginormous Living! Michael Scott Reeves / Livre Livre de poche
common.buy 13.59 €
Early Scenes In Church History: The Faith-Promoting Series Book 8 George Q Cannon / Livre Livre de poche
common.buy 7.19 €
A Treatise on the Office and Duty of a Justice of the Peace, Sheriff, Coroner, Constable, and of Executors, Administrators, and Guardians: In Which Ar James Ewing / Livre Livre de poche
common.buy 26.69 €
Romance without fiction Henry Bleby / Livre Livre de poche
common.buy 32.59 €
In a Perfect World Trish Doller / Livre Livre relié
common.buy 17.39 €
Literature Criticism from 1400 to 1800 Gale Cengage Learning / Livre Livre relié
common.buy 604.19 €
Life and Times of General Sir Edward Cecil, Viscount Wimbledon, Colonel of an English Regiment in the Dutch Service, 1605-1631, and One of His Majesty Charles Dalton / Livre Livre relié
common.buy 35.99 €
Abordable
Pyramid Schemes: A Tale of Sir Apropos of Nothing Peter David / Livre Livre de poche
common.buy 2.49 €
Written Corrective Feedback for L2 Development Qi Guo / Livre Livre relié
common.buy 123.99 €
Size of My Family is Just Right for Me Jacqueline Ward Barrett / Livre Livre de poche
common.buy 15.69 €
The Other Side of the River: A Story of Two Towns, a Death, and America's Dilemma Alex Kotlowitz / Livre Livre de poche
common.buy 15.99 €
32 Fangs: A Final Vampire Tale David Wellington / Livre Livre de poche
common.buy 14.49 €
The Rising Kelley Armstrong / Livre Livre de poche
common.buy 11.89 €
Transactions of the ... Annual Reunion of the Oregon Pioneer Association, Volumes 3-14 Oregon Pioneer Association Reunion / Livre Livre relié
common.buy 47.59 €
Chess Player's Bible James Eade & Al Lawrence / Livre Livre relié
common.buy 16.79 €
Kurdish Armour Against ISIS Alaric (University of Salford Searle / Livre Livre de poche
common.buy 12.69 €
Python: Beginner's Guide to Programming Code with Python Charlie Masterson / Livre numérique Adobe ePub DRM
common.buy 3.69 €
Routledge Companion to Shakespeare and Religion Will Stockton / Livre numérique Adobe ePub DRM
common.buy 66.09 €
Cerebral Entanglements Allan J. Hamilton / Livre numérique Adobe ePub DRM
common.buy 16.29 €
Top
Fall I Want PARISH LYRA / Livre Livre de poche
common.buy 10.59 €
Contemporary Ballet / Livre Livre relié
common.buy 31.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 ?