[email protected]
LIBRISTO 0
La Poste Autrichienne 5.99 € Coursier DPD 6.49 € Service de messagerie GLS 4.49 €
phone Contact phoneComment faire ses achats

Computer Aided Verification

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 161 b
68.07 € včetně DPH
Stockage externe en petites quantités Expédition sous 13-16 jours
Autriche common.delivery_to

Politique de retour sous 30 jours

Ceci pourrait également vous intéresser

Oh Tannenbaum, 2 Audio-CDs Sternschnuppe: Sarholz & Meier / CD Audio
common.buy 16.00 €
Stories of Biblical Mothers Leila Leah Bronner / Livre relié
common.buy 122.87 €
Embedded Software and Systems Man Lin / Livre de poche
common.buy 134.22 €
Little Beaver's Secrets Bärbel Thetmeyer / Livre de poche
common.buy 16.47 €
Mein neuer Musikus - Aktuelle Ausgabe - 1./2. Schuljahr Sonja Hoffmann / Livre relié
common.buy 21.14 €
Warrior Cats - Zeichen der Sterne. Fernes Echo, 5 Audio-CDs Erin Hunter / CD Audio
common.buy 10.70 €
Auf Schreckenstein gibt's täglich Spaß, 3 Audio-CDs Oliver Hassencamp / CD Audio
common.buy 13.86 €

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.

À 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

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