phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Computer Aided Verification

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 161 b
325 lei
În depozitul extern în cantități mici Expediem în 12-17 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

1950's-1960's North East Scrapyards David Dunn / Carte broșată
common.buy 72 lei
Was uns die Bibel erzählt, 20 Farbfolien m. Begleitheft Kees de Kort / Jucărie
common.buy 121 lei
Der kleine Drache Kokosnuss kommt in die Schule, 1 Audio-CD Ingo Siegner / Audio CD
common.buy 45 lei
Nierenerkrankungen und -verletzungen, 1 CD-ROM / CD digital
common.buy 214 lei
Archive Stories / Copertă tare
common.buy 725 lei
Control of Uncertain Systems: Modelling, Approximation, and Design Bruce A. Francis / Carte broșată
common.buy 984 lei
Between Resource Plenty and State Failure Christoph Vogel / Carte broșată
common.buy 234 lei
L'Olimpia Giambattista della Porta / Copertă tare
common.buy 221 lei
Businessplan als Voraussetzung zur Finanzierung von Existenzgrundern Antje Walliser / Carte broșată
common.buy 136 lei
Die Kunst des Zweifelns Andreas U. Sommer / Carte broșată
common.buy 47 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.

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

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