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
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Computer Aided Verification

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Computer Aided Verification Rajeev Alur
Code Libristo: 01559563
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juin 2004
This book constitutes the refereed proceedings of the 16th International Conference on Computer Aide... Description détaillée
? points 249 b
102.67 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

TNM Atlas 7e JD Brierley / Livre Livre de poche
common.buy 102.57 €
PALINODIE Giacomo LEOPARDI / Livre Livre de poche
common.buy 9.47 €
Star Wars Animation POP! Vinyl Figure Comm Wolffe 9 cm Jeu/jouet Jouet
common.buy 21.58 €
Top
Cosa Nostra John Dickie / Livre Livre de poche
common.buy 14.51 €
Sleeping Beauty (La Bella Durmiente) Bilingual Eng/Spa / Livre Livre de poche
common.buy 7.66 €
Bientôt
Praha mapa turistických zajímavostí / Articles imprimés Cartes géographiques
common.buy 2.51 €
VITICULTURE 14 PLANCHES AVEC 56 PHOTOGRAPHIES EN COULEUR Simon Jacques / Livre Livre relié
common.buy 22.48 €
Fêtes et Chansons anciennes de la Chine Marcel Granet / Livre Livre de poche
common.buy 32.27 €
Maison la plus grande du monde (La) LIONNI / Livre Livre de poche
common.buy 8.87 €
Adolescence, maltraitance et placement Van Hooland / Livre Livre de poche
common.buy 19.26 €
Offizielle Softballregeln 2018-2021 Thomas Haller / Livre Livre de poche
common.buy 7.35 €
L'imperatore dei Mondi- Libro Uno (Terra e Acqua) LUCA NAZZARRI / Livre Livre de poche
common.buy 17.94 €
Código de insolvencias empresariales Rodriguez Achutegui / Livre Livre de poche
common.buy 77.56 €
1870 -1871. Vier Bucher deutscher Geschichte Johannes Scherr / Livre Livre de poche
common.buy 27.63 €
Lebensbeschreibung Der Erzbetrugerin Und Landstorzerin Courasche Hans Jakob Christoph von Grimmelshausen / Livre Livre de poche
common.buy 11.69 €
Abordable
Harry Potter Tvory a netvory Jody Revenson / Livre Livre relié
common.buy 11.09 €

This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA, in July 2004.The 32 revised full research papers and 16 tool papers were carefully reviewed and selected from 144 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.

Actrice & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Computer Aided Verification
Auteur Rajeev Alur, Doron A. Peled
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2004
Nombre de pages 536
EAN 9783540223429
ISBN 3540223428
Code Libristo 01559563
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 1700
Dimensions 155 x 233 x 30

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 > 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

Neuroeconomics MARTIN REUTER / Livre Livre de poche
common.buy 164.10 €
Happiness Andy Cope / Livre Livre relié
common.buy 16.23 €
Interest Reconciliation between Aborginal and Non-Aboriginal Communities - Pervasive Challenges to Interest Reconciliation between Aboriginal and Non- Diana Groffen / Livre Livre de poche
common.buy 51.33 €
Cuckold Visiting Fellow Adfa Roger (Virginia Military Institute University of New South Wales Virginia Military Institute Virginia Military Institute Virginia / Livre Livre relié
common.buy 32.57 €
Managing the Moon Program NASA History Division / Livre Livre de poche
common.buy 19.96 €
Three Musketeers Omnibus, Volume Two (six Complete and Unabridged Books in Two Volumes) Alexandre Dumas / Livre Livre relié
common.buy 70.80 €
Operatic China D. Lei / Livre Livre de poche
common.buy 96.01 €
Beyond Babar Sandra L. Beckett / Livre numérique Adobe ePub DRM
common.buy 95.21 €
Church of England - Charity Law and Human Rights Kerry O'Halloran / Livre Livre de poche
common.buy 102.67 €
Women Who Move Mountains Sue Detweiler / Livre Livre de poche
common.buy 15.73 €
Maria The Monarch Homero Aridjis / Livre Livre de poche
common.buy 13.81 €
Second Language Teacher Education Diane J. Tedick / Livre Livre de poche
common.buy 96.72 €
Stories of Animal Sagacity W. H. G. Kingston / Livre Livre de poche
common.buy 19.66 €
More Than Words Vernon Logan / Livre Livre de poche
common.buy 17.04 €
Solemn Duty in the Old Guard Mark Joseph Mongilutz / Livre Livre de poche
common.buy 35.39 €
Chasing Time F I Goldhaber / Livre Livre de poche
common.buy 10.78 €
Top
Devil's Reign Zdarsky / Livre Livre de poche
common.buy 26.92 €
Abordable
Pseudoephedrine Sulfate (OTC); A Complete Guide G J Blokdijk / Livre Livre de poche
common.buy 2.21 €
The Numismatic Review and Coin Galleries Fixed Price List; 4n3 Stack's Bowers / Livre Livre de poche
common.buy 16.43 €
Interpretations of Native North American Life Michael S. Nassaney / Livre Livre de poche
common.buy 28.94 €
Embodying Health Identities A James / Livre Livre de poche
common.buy 64.95 €
History of Science, History of Text Karine Chemla / Livre Livre relié
common.buy 256.39 €
Multispectral Satellite Image Understanding Cem Ünsalan / Livre Livre de poche
common.buy 143.62 €
Effective Crime Reduction Strategies James F. Albrecht / Livre numérique Adobe ePub DRM
common.buy 76.14 €

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 ?