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

Computer Aided Verification

9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Computer Aided Verification Orna Grumberg
Code Libristo: 05274713
Éditeurs Springer, Berlin, novembre 1996
This book constitutes the strictly refereed proceedings of the 9th International Conference on Compu... 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é

Fem música amb els bum bum, Educació Infantil, 4 anys. Guia Sylvia Dicovskiy Riobóo / Livre Livre de poche
common.buy 25.69 €
Handbuch Alzheimer-Krankheit Frank Jessen / Livre numérique Adobe ePub DRM
common.buy 160.59 €
Honorarordnung für Architekten und Ingenieure - HOAI 2021 Johann Peter Hebel / Livre Livre de poche
common.buy 19.80 €
delitto Ammaturo. Luci e ombre di un mistero irrisolto Pierluigi Larotonda / Livre Livre de poche
common.buy 26.29 €
Luz Herrera Goya / Livre Livre de poche
common.buy 12.29 €
La lozanía de los inmortales Vera Portocarrero / Livre Livre de poche
common.buy 22.09 €
Patron Oro Calderon Ivan Calderon / Livre Livre de poche
common.buy 13.59 €
Arkham Horror: Lovecraft Letter Zman / Jeu/jouet Jeu
common.buy 18.19 €
Bientôt
Primiracconti Luisa Brisi / Livre Livre de poche
common.buy 5.99 €
AEsthetik nach Wittgenstein Yves Bossart / Livre Livre relié
common.buy 180.69 €
Un éternel prisonnier Dominique Henry / Livre Livre de poche
common.buy 20.69 €
Bientôt
Mein neuer Musikus - Aktuelle Ausgabe - 1./2. Schuljahr Sonja Hoffmann / Livre Livre relié
common.buy 23.59 €
Mehrkomponentenvertrage Benedikt Weisser / Livre Livre de poche
common.buy 38.00 €
Nuove storie d'ogni colore Emilio De Marchi / Livre Livre de poche
common.buy 14.09 €
Tierna obsesion Marisa Estrada Barquet / Livre Livre de poche
common.buy 12.59 €
Oh Tannenbaum, 2 Audio-CDs Sternschnuppe: Sarholz & Meier / Audio CD Audio
common.buy 14.95 €
O composto de produtos e a estrategia de desenvolvimento de produtos Oste Graziano Cremonezi Graziela / Livre Livre de poche
common.buy 60.59 €
Erdem Degismeye Zorlandiginda Sinirleniyor Harpreet Kaur / Livre Livre de poche
common.buy 9.59 €
The Boys Integral 03 GARTH ENNIS / Livre Livre de poche
common.buy 45.59 €
Ley de Contratos / Livre Livre de poche
common.buy 27.89 €
Nasadki na ołówki i kredki 2 sztuki / Audio Audio
common.buy 3.39 €
Una storia dovunque Prezioso Sclano / Livre Livre de poche
common.buy 15.89 €
Textes et Monuments Figures Relatifs aux Mysteres de Mithra, Tome Premier Franz Valery Marie Cumont / Livre Livre de poche
common.buy 35.49 €

This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997.The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area.

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 Computer Aided Verification
Auteur Orna Grumberg
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 1997
Nombre de pages 492
EAN 9783540631668
ISBN 3540631666
Code Libristo 05274713
Éditeurs Springer, Berlin
Poids 654
Dimensions 156 x 234 x 25

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

Advances in Exception Handling Techniques Alexander Romanovsky / Livre Livre de poche
common.buy 53.79 €
Embedded Software and Systems Man Lin / Livre Livre de poche
common.buy 118.29 €
A Fighting Parson: The Autobiography of Alexander Irvine Alexander Irvine / Livre Livre de poche
common.buy 32.79 €
Finding the Way Home Chris McFarland / Livre Livre de poche
common.buy 8.89 €
Hearts of Oak. a Story of Nelson and the Navy. Stables / Livre Livre de poche
common.buy 28.79 €
Clasicos Modernos ANA MARIA MATUTE / Livre Livre de poche
common.buy 11.89 €
Getting to Grips with BIM Graham Paterson / Livre Livre de poche
common.buy 77.69 €
Christianity, Islam and Atheism: The Struggle for the Soul of the West William Kilpatrick / Livre Livre de poche
common.buy 17.39 €
Degree Gradation of Verbs Jens Fleischhauer / Livre Livre de poche
common.buy 41.29 €
A Cook in the Kingdom Daniel Gonzalez / Livre Livre de poche
common.buy 13.59 €
Edexcel A-level Mathematics Student Book Year 1 and AS Chris Pearce / Livre Livre de poche
common.buy 37.79 €
Anglais - pour s'amuser à parler anglais ! Stéphanie Bioret / Livre Livre de poche
common.buy 13.39 €
Tessili Rogue Robin Stephen / Livre Livre de poche
common.buy 9.79 €
The Lay of Lirazel Stephen R Babb / Livre Livre de poche
common.buy 13.59 €
Information Processing and Management CAT 3 1999 Explanation of Criteria and Case Studies with Answers Jenny Little / Livre Livre de poche
common.buy 9.99 €
Talks James E. Potter / Livre Livre de poche
common.buy 22.79 €
Speed of Light and the Simplicity RICHARD CLOUGH / Livre Livre relié
common.buy 30.89 €
Belief and Evangelism DOUGLAS VICKERS / Livre Livre relié
common.buy 34.39 €
Understanding Mobilities for Designing Contemporary Cities Matteo Colleoni / Livre Livre de poche
common.buy 107.29 €
Top
Beginner's Guide to Reading Schematics, Fourth Edition Stan Gibilisco / Livre Reliure à anneaux
common.buy 22.79 €
Running the Show Gill / Livre Livre de poche
common.buy 61.49 €
Extremism And Reformation David Myatt / Livre Livre de poche
common.buy 7.99 €
Ecological Buildings Dorian Lucas / Livre Livre relié
common.buy 44.39 €
Grammar and Style Michael Dummett / Livre Livre de poche
common.buy 34.19 €

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 ?