Vérifier l’état de la commande

Vérifier l’état de la commande

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

La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €

phone

Contact

phone

Comment faire ses achats

Assistance

Mon compte

▸ Vide :-(

0

Livre Computer Aided Verification Pierre Wolper

Computer Aided Verification

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

Langue

Anglais

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

Code Libristo: 05274476

?

points

132 b

53.79 € TVA incluse

Stockage externe Expédition sous 5-8 jours

Livraison à Autriche

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

7.99 €

Cronicando COUTO

/

Livre de poche

23.49 €

L'Olimpia Giambattista della Porta

/

Livre relié

19.90 €

notti chiare Carlotta Cubeddu

/

Livre relié

18.49 €

Manager pour apprendre SHOOK

/

Livre de poche

45.79 €

Le Parc Naturel Régional du Morvan à pied collegium

/

Livre de poche

22.89 €

Papiermache Figuren selbst gebaut Anke Redhead

/

Livre de poche

14.50 €

Les Fables de La Fontaine - Livre 1-2-3-4 Jean De La Fontaine

/

Livre de poche

22.79 €

Lebensversicherungsvertrage A Kaindl

/

Livre de poche

9.99 €

Der kleine Drache Kokosnuss kommt in die Schule, 1 Audio-CD Ingo Siegner

/

CD Audio

9.99 €

Die Kunst des Zweifelns Andreas U. Sommer

/

Livre de poche

11.19 €

Businessplan als Voraussetzung zur Finanzierung von Existenzgrundern Antje Walliser

/

Livre de poche

27.95 €

Panorama della letteratura italiana: Dae origini ai giorni nostri Ciro Roselli

/

Livre de poche

20.09 €

Grain EP ZS

/

CD Audio

18.99 €

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 pour

Lire la vidéo

Ewa Kasp

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

13.59 €

Adaptive Coding and Modulation Romana Rafi

/

Livre de poche

53.39 €

TISSUE BANKS: IS THE FEDERAL GOVERNMENT'S OVERSIGHT ADEQUATE? United States Congress Senate Committee

/

Livre de poche

28.69 €

Science of Mother-Infant Sleep: Current Findings on Bedsharing, Breastfeeding, Sleep Training, and Normal Infant Sleep Wendy Middlemiss

/

Livre de poche

16.29 €

Psychotraumatology George S. Everly Jr.

/

Livre de poche

214.29 €

Blake's Reading Log Martha Day Zschock

/

Livre de poche

8.79 €

Jane Butel's Simply Southwestern Jane Butel

/

Livre relié

28.19 €

Advances in Systems Biology Igor Goryanin

/

Livre de poche

214.29 €

My First Encyclopedia of Trees (giant Size) Richard McGinlay

/

Livre de poche

5.89 €

Easy Ukulele Songs Rebecca Bogart

/

Livre de poche

10.69 €

Farmer's Magazine Anonymous

/

Livre relié

41.59 €

World's Divide Books 1-4 Collection Ryan Eugene Hartung

/

Livre de poche

13.39 €

Sacred Hymns and Spiritual Songs Anonym

/

Livre de poche

29.89 €

The Administration Of Iowa: A Study In Centralization, Issues 46-48 Harold Martin Bowman

/

Livre de poche

35.79 €

Theory and New Applications of Swarm Intelligence Rafael Parpinelli

/

Livre relié

119.99 €

Now You Know Royalty Doug Lennox

/

Adobe ePub DRM

5.99 €

I Am A Key Larry Odell Johnson

/

Livre de poche

13.19 €

Metropolitan Poor Vol 5 Masaie Matsumura

/

Livre relié

150.79 €

Diffusion and Use of Genomic Innovations in Health and Medicine Roundtable on Translating Genomic-Based Research for Health

/

Livre de poche

62.29 €

Crisis of Gender and the Nation in Korean Literature and Cinema Kelly Y. Jeong

/

Livre relié

131.89 €

Perspectives on U.S. Policy Toward North Korea Sharon Richardson

/

Livre de poche

66.09 €

Archive Stories Antoinette Burton

/

Livre relié

144.39 €

Control of Uncertain Systems: Modelling, Approximation, and Design Bruce A. Francis

/

Livre de poche

160.89 €

Between Resource Plenty and State Failure Christoph Vogel

/

Livre de poche

17.89 €

Conseiller littéraire Libroamiko

Bonjour, je suis Libroamiko, puis-je vous aider ?