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

7th International Conference, CAV '95, Liege, Belgium, July 3-5, 1995. Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Computer Aided Verification Pierre Wolper
Code Libristo: 05274476
Éditeurs Springer, Berlin, novembre 1994
This volume contains the proceedings of the 7th International Conference on Computer Aided Verificat... Description détaillée
? points 141 b
58.57 €
Stockage externe en petites quantités Expédition sous 11-15 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Controla Tú Vida Comiendo Sano: Conoce la armonía de comer bien y tener control de tu vida Ivan Garcia / Livre Livre de poche
common.buy 7.69 €
Cronicando COUTO / Livre Livre de poche
common.buy 22.89 €
L'Olimpia Giambattista della Porta / Livre Livre relié
common.buy 36.88 €
notti chiare Carlotta Cubeddu / Livre Livre relié
common.buy 17.93 €
Manager pour apprendre SHOOK / Livre Livre de poche
common.buy 43.67 €
Le Parc Naturel Régional du Morvan à pied collegium / Livre Livre de poche
common.buy 22.39 €
Papiermache Figuren selbst gebaut Anke Redhead / Livre Livre de poche
common.buy 19.25 €
Les Fables de La Fontaine - Livre 1-2-3-4 Jean De La Fontaine / Livre Livre de poche
common.buy 21.98 €
Lebensversicherungsvertrage A Kaindl / Livre Livre de poche
common.buy 9.11 €
Der kleine Drache Kokosnuss kommt in die Schule, 1 Audio-CD Ingo Siegner / Audio CD Audio
common.buy 8.60 €
Die Kunst des Zweifelns Andreas U. Sommer / Livre Livre de poche
common.buy 10.83 €
Businessplan als Voraussetzung zur Finanzierung von Existenzgrundern Antje Walliser / Livre Livre de poche
common.buy 42.76 €
Panorama della letteratura italiana: Dae origini ai giorni nostri Ciro Roselli / Livre Livre de poche
common.buy 19.35 €
Grain EP ZS / Audio CD Audio
common.buy 14.38 €

This volume contains the proceedings of the 7th International Conference on Computer Aided Verification. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations.

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 Pierre Wolper
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 1995
Nombre de pages 456
EAN 9783540600459
ISBN 3540600450
Code Libristo 05274476
Éditeurs Springer, Berlin
Poids 622
Dimensions 156 x 234 x 23

Catégories

Informatique et technologies de l’information > Informatique > Intelligence artificielle > Systèmes experts / bases de connaissances
Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique
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

Meat me: The end of a new beginning Sharon Ann De Jong / Livre Livre de poche
common.buy 13.06 €
Adaptive Coding and Modulation Romana Rafi / Livre Livre de poche
common.buy 51.57 €
TISSUE BANKS: IS THE FEDERAL GOVERNMENT'S OVERSIGHT ADEQUATE? United States Congress Senate Committee / Livre Livre de poche
common.buy 27.76 €
Science of Mother-Infant Sleep: Current Findings on Bedsharing, Breastfeeding, Sleep Training, and Normal Infant Sleep Wendy Middlemiss / Livre Livre de poche
common.buy 15.70 €
Psychotraumatology George S. Everly Jr. / Livre Livre de poche
common.buy 227.00 €
Blake's Reading Log Martha Day Zschock / Livre Livre de poche
common.buy 8.40 €
Jane Butel's Simply Southwestern Jane Butel / Livre Livre relié
common.buy 26.85 €
Advances in Systems Biology Igor Goryanin / Livre Livre de poche
common.buy 227.00 €
My First Encyclopedia of Trees (giant Size) Richard McGinlay / Livre Livre de poche
common.buy 5.56 €
Easy Ukulele Songs Rebecca Bogart / Livre Livre de poche
common.buy 10.33 €
Farmer's Magazine Anonymous / Livre Livre relié
common.buy 40.22 €
World's Divide Books 1-4 Collection Ryan Eugene Hartung / Livre Livre de poche
common.buy 12.86 €
Sacred Hymns and Spiritual Songs Anonym / Livre Livre de poche
common.buy 32.93 €
5-Minute Bible Study for Women Emily Biggers / Livre Livre de poche
common.buy 6.27 €
The Administration Of Iowa: A Study In Centralization, Issues 46-48 Harold Martin Bowman / Livre Livre de poche
common.buy 34.55 €
Theory and New Applications of Swarm Intelligence Rafael Parpinelli / Livre Livre relié
common.buy 141.06 €
Now You Know Royalty Doug Lennox / Livre numérique Adobe ePub DRM
common.buy 5.77 €
I Am A Key Larry Odell Johnson / Livre Livre de poche
common.buy 12.76 €
Metropolitan Poor Vol 5 Masaie Matsumura / Livre Livre relié
common.buy 146.13 €
Diffusion and Use of Genomic Innovations in Health and Medicine Roundtable on Translating Genomic-Based Research for Health / Livre Livre de poche
common.buy 59.68 €
Crisis of Gender and the Nation in Korean Literature and Cinema Kelly Y. Jeong / Livre Livre relié
common.buy 127.58 €
Perspectives on U.S. Policy Toward North Korea Sharon Richardson / Livre Livre de poche
common.buy 63.94 €
Bientôt
Archive Stories Antoinette Burton / Livre Livre relié
common.buy 137.62 €
Control of Uncertain Systems: Modelling, Approximation, and Design Bruce A. Francis / Livre Livre de poche
common.buy 175.93 €

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 ?