Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Computer Aided Verification

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

Limba englezăengleză
Carte Carte broșată
Carte Computer Aided Verification Pierre Wolper
Codul Libristo: 05274476
Editura Springer, Berlin, noiembrie 1994
This volume contains the proceedings of the 7th International Conference on Computer Aided Verificat... Descrierea completă
? points 132 b
286.02 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Controla Tú Vida Comiendo Sano: Conoce la armonía de comer bien y tener control de tu vida Ivan Garcia / Carte Carte broșată
common.buy 42.33 lei
Cronicando COUTO / Carte Carte broșată
common.buy 120.12 lei
L'Olimpia Giambattista della Porta / Carte Copertă tare
common.buy 99.89 lei
notti chiare Carlotta Cubeddu / Carte Copertă tare
common.buy 93.84 lei
Manager pour apprendre SHOOK / Carte Carte broșată
common.buy 243.69 lei
Le Parc Naturel Régional du Morvan à pied collegium / Carte Carte broșată
common.buy 117.51 lei
Papiermache Figuren selbst gebaut Anke Redhead / Carte Carte broșată
common.buy 73.19 lei
Les Fables de La Fontaine - Livre 1-2-3-4 Jean De La Fontaine / Carte Carte broșată
common.buy 121.16 lei
Lebensversicherungsvertrage A Kaindl / Carte Carte broșată
common.buy 50.77 lei
Der kleine Drache Kokosnuss kommt in die Schule, 1 Audio-CD Ingo Siegner / Audio Audio CD
common.buy 47.96 lei
Die Kunst des Zweifelns Andreas U. Sommer / Carte Carte broșată
common.buy 56.93 lei
Businessplan als Voraussetzung zur Finanzierung von Existenzgrundern Antje Walliser / Carte Carte broșată
common.buy 139.41 lei
Panorama della letteratura italiana: Dae origini ai giorni nostri Ciro Roselli / Carte Carte broșată
common.buy 106.88 lei
Grain EP ZS / Audio Audio CD
common.buy 79.45 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Computer Aided Verification
Autor Pierre Wolper
Limba engleză
Legare Carte - Carte broșată
Data publicării 1995
Număr pagini 456
EAN 9783540600459
ISBN 3540600450
Codul Libristo 05274476
Editura Springer, Berlin
Greutatea 622
Dimensiuni 156 x 234 x 23

Categorii

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Meat me: The end of a new beginning Sharon Ann De Jong / Carte Carte broșată
common.buy 72.05 lei
Adaptive Coding and Modulation Romana Rafi / Carte Carte broșată
common.buy 283.63 lei
TISSUE BANKS: IS THE FEDERAL GOVERNMENT'S OVERSIGHT ADEQUATE? United States Congress Senate Committee / Carte Carte broșată
common.buy 152.44 lei
Science of Mother-Infant Sleep: Current Findings on Bedsharing, Breastfeeding, Sleep Training, and Normal Infant Sleep Wendy Middlemiss / Carte Carte broșată
common.buy 86.85 lei
Psychotraumatology George S. Everly Jr. / Carte Carte broșată
common.buy 1 139.23 lei
Blake's Reading Log Martha Day Zschock / Carte Carte broșată
common.buy 46.91 lei
Jane Butel's Simply Southwestern Jane Butel / Carte Copertă tare
common.buy 149.63 lei
Advances in Systems Biology Igor Goryanin / Carte Carte broșată
common.buy 1 139.23 lei
My First Encyclopedia of Trees (giant Size) Richard McGinlay / Carte Carte broșată
common.buy 31.27 lei
Easy Ukulele Songs Rebecca Bogart / Carte Carte broșată
common.buy 57.13 lei
Farmer's Magazine Anonymous / Carte Copertă tare
common.buy 221.06 lei
World's Divide Books 1-4 Collection Ryan Eugene Hartung / Carte Carte broșată
common.buy 71.21 lei
Sacred Hymns and Spiritual Songs Anonym / Carte Carte broșată
common.buy 158.70 lei
5-Minute Bible Study for Women Emily Biggers / Carte Carte broșată
common.buy 34.92 lei
The Administration Of Iowa: A Study In Centralization, Issues 46-48 Harold Martin Bowman / Carte Carte broșată
common.buy 189.98 lei
Theory and New Applications of Swarm Intelligence Rafael Parpinelli / Carte Copertă tare
common.buy 637.96 lei
Now You Know Royalty Doug Lennox / E-book Adobe ePub DRM
common.buy 30.13 lei
I Am A Key Larry Odell Johnson / Carte Carte broșată
common.buy 70.38 lei
Metropolitan Poor Vol 5 Masaie Matsumura / Carte Copertă tare
common.buy 801.26 lei
Diffusion and Use of Genomic Innovations in Health and Medicine Roundtable on Translating Genomic-Based Research for Health / Carte Carte broșată
common.buy 331.39 lei
Crisis of Gender and the Nation in Korean Literature and Cinema Kelly Y. Jeong / Carte Copertă tare
common.buy 637.34 lei
Perspectives on U.S. Policy Toward North Korea Sharon Richardson / Carte Carte broșată
common.buy 319.39 lei
Archive Stories Antoinette Burton / Carte Copertă tare
common.buy 767.37 lei
Control of Uncertain Systems: Modelling, Approximation, and Design Bruce A. Francis / Carte Carte broșată
common.buy 854.96 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo