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

12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Computer Aided Verification E. Allen Emerson
Code Libristo: 01567506
Éditeurs Springer, Berlin, novembre 1999
This book constitutes the refereed proceedings of the 12th International Conference on Computer Aide... Description détaillée
? points 277 b
114.42 €
Stockage externe en petites quantités Expédition sous 13-18 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Pokémon: Mein großer Pokémon-Block Panini / Livre Livre de poche
common.buy 8.79 €
600 Primeras Palabras Más Usadas Tarjetas Bebe Bilingüe Vocabulario Espa?ol Portugués Libro Infantiles Para Ni?os: Aprender imaginario diccionario bás Lenguaje Preparacion / Livre Livre de poche
common.buy 13.04 €
Der Grundsatz der Verhältnismäßigkeit in der Rechtsprechung des Gerichtshofs der Europäischen Gemeinschaften. Oliver Koch / Livre Livre de poche
common.buy 150.44 €
SPIDER-MAN. 5 MINUTOS PARA SOÑAR MARVEL / Livre Livre
common.buy 12.13 €
Las celdas de mi cuerpo Rivero / Livre Livre de poche
common.buy 4.75 €
BIDAIA SANNA / Livre Livre relié
common.buy 23.46 €
Principes d'analyse fonctionnelle WILLEM / Livre Livre de poche
common.buy 36.62 €
Phi Phi Island Josef Haslinger / Livre Livre de poche
common.buy 13.55 €
Vogesen Curt Mundel / Livre Livre de poche
common.buy 57.86 €
Standards der OP-Patientenlagerung Sadik Duru / Livre Livre de poche
common.buy 66.06 €
Ruckkehr Der Zeitmaschine Egon Friedell / Livre Livre relié
common.buy 22.35 €
LES SOEURS DE PRAGUE J. Garcin / Livre Livre de poche
common.buy 11.32 €
Einfuhrung von Hedge Fonds in Deutschland vor dem Hintergrund des Investmentmodernisierungsgesetzes 2004 und der Entwicklung des Fondswesens Susanne Steimel / Livre Livre de poche
common.buy 65.96 €

This book constitutes the refereed proceedings of the 12th International Conference on Computer Aided Verification, CAV 2000, held in Chicago, IL, USA in July 2000.§The 35 revised full papers presented together with 9 tool papers were carefully reviewed and selected from 91 submissions. The papers address all current aspects of the theory and practice of formal methods for hardware and software verification. Emphasis is given to verification algorithms, methods, and tools and their implementation.

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 E. Allen Emerson, A. Prasad Sistla
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2000
Nombre de pages 590
EAN 9783540677703
ISBN 3540677704
Code Libristo 01567506
Éditeurs Springer, Berlin
Poids 894
Dimensions 155 x 235 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 > Informatique > Intelligence artificielle > Systèmes experts / bases de connaissances
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
Médecine et services infirmiers > Médecine : généralités
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

German Influence on Australian English Markus Bieswanger / Livre Livre de poche
common.buy 46.84 €
A Woman Loved Andre Makine / Livre Livre de poche
common.buy 13.24 €
Top
OUR LAST CRUSADE SECRET FILE V03 LN V03 / Livre Livre de poche
common.buy 14.46 €
Cocaine and Rhinestones Wayne White / Livre Livre relié
common.buy 26.80 €
Anatomy of the Abyss: The Neophyte's Compendium Dusan Trajkovic / Livre Livre de poche
common.buy 17.39 €
Amanda Grows Up: A Novel of Love and Sex Kathryn M Burke / Livre Livre de poche
common.buy 10.31 €
The Haskalah Movement in Russia: Jewish Classics Jacob S Raison Ph D / Livre Livre de poche
common.buy 9.40 €
Power System Dynamics and Stability - With Synchrophasor Measurement and Power System Toolbox 2e Peter W. Sauer / Livre Livre relié
common.buy 124.95 €
Mountain Man's Dog Gary Corbin / Livre Livre relié
common.buy 18.71 €
Patriarchs, Prophets and Other Villains Lisa Isherwood / Livre Livre de poche
common.buy 81.13 €
Consciousness Of The Atom Alice a Bailey / Livre Livre de poche
common.buy 14.96 €
Misguided Obsessions Dinah Walker / Livre Livre de poche
common.buy 16.08 €
Playwriting Effiong Johnson / Livre Livre relié
common.buy 32.97 €
Dime 1st Edition Student's Book 1 with Audio CD Malva Lewis / Livre binding.
common.buy 13.95 €
Ephesians Frank S. Thielman / Livre Livre relié
common.buy 42.08 €
Inner Grace Phillip Cary / Livre Livre relié
common.buy 120.49 €
Embryos under the Microscope Jane Maienschein / Livre Livre relié
common.buy 49.06 €
Get Going with Kindle Fire in Easy Steps Nick Vandome / Livre Livre de poche
common.buy 8.89 €
Nanostructured Materials Preparation via Condensation Ways Anatolii D. Pomogailo / Livre Livre relié
common.buy 102.99 €
Plant Toxin Analysis Hans F. Linskens / Livre Livre relié
common.buy 201.23 €
Small Bodies in Planetary Systems I. Mann / Livre Livre relié
common.buy 51.69 €

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 ?