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

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Computer Aided Verification Rajeev Alur
Codul Libristo: 01559563
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iunie 2004
This book constitutes the refereed proceedings of the 16th International Conference on Computer Aide... Descrierea completă
? points 263 b
570.37 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

TNM Atlas 7e JD Brierley / Carte Carte broșată
common.buy 540.55 lei
Sleeping Beauty (La Bella Durmiente) Bilingual Eng/Spa / Carte Carte broșată
common.buy 48.36 lei
Nadchodzi III wojna światowa. Czy Ameryka porzuci Polskę na pastwę Rosji? wyd. 2022 Jacek Bartosiak / Carte Copertă tare
common.buy 67.96 lei
Cosa Nostra John Dickie / Carte Carte broșată
common.buy 76.41 lei
Curând
Praha mapa turistických zajímavostí / Materiale tipărite Hartă
common.buy 14.06 lei
PALINODIE Giacomo LEOPARDI / Carte Carte broșată
common.buy 50.97 lei
Fêtes et Chansons anciennes de la Chine Marcel Granet / Carte Carte broșată
common.buy 171.28 lei
Maison la plus grande du monde (La) LIONNI / Carte Carte broșată
common.buy 47.74 lei
Adolescence, maltraitance et placement Van Hooland / Carte Carte broșată
common.buy 107.69 lei
Offizielle Softballregeln 2018-2021 Thomas Haller / Carte Carte broșată
common.buy 41.07 lei
Código de insolvencias empresariales Rodriguez Achutegui / Carte Carte broșată
common.buy 408.98 lei
Lebensbeschreibung Der Erzbetrugerin Und Landstorzerin Courasche Hans Jakob Christoph von Grimmelshausen / Carte Carte broșată
common.buy 65.15 lei
Leftin
Harry Potter Tvory a netvory Jody Revenson / Carte Copertă tare
common.buy 93.61 lei

This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA, in July 2004.The 32 revised full research papers and 16 tool papers were carefully reviewed and selected from 144 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.

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 Rajeev Alur, Doron A. Peled
Limba engleză
Legare Carte - Carte broșată
Data publicării 2004
Număr pagini 536
EAN 9783540223429
ISBN 3540223428
Codul Libristo 01559563
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1700
Dimensiuni 155 x 233 x 30

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
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
Computing & Information Technology > Computer science > Artificial intelligence
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

Neuroeconomics MARTIN REUTER / Carte Carte broșată
common.buy 911.39 lei
Second Language Teacher Education Diane J. Tedick / Carte Carte broșată
common.buy 509.28 lei
The Numismatic Review and Coin Galleries Fixed Price List; 4n3 Stack's Bowers / Carte Carte broșată
common.buy 91.01 lei
Leftin
Pseudoephedrine Sulfate (OTC); A Complete Guide G J Blokdijk / Carte Carte broșată
common.buy 11.77 lei
Chasing Time F I Goldhaber / Carte Carte broșată
common.buy 59.52 lei
Solemn Duty in the Old Guard Mark Joseph Mongilutz / Carte Carte broșată
common.buy 177.54 lei
More Than Words Vernon Logan / Carte Carte broșată
common.buy 94.44 lei
Stories of Animal Sagacity W. H. G. Kingston / Carte Carte broșată
common.buy 109.67 lei
Happiness Andy Cope / Carte Copertă tare
common.buy 87.46 lei
Maria The Monarch Homero Aridjis / Carte Carte broșată
common.buy 68.17 lei
Women Who Move Mountains Sue Detweiler / Carte Carte broșată
common.buy 88.09 lei
Church of England - Charity Law and Human Rights Kerry O'Halloran / Carte Carte broșată
common.buy 570.37 lei
Top
Devil's Reign Zdarsky / Carte Carte broșată
common.buy 142.40 lei
Operatic China D. Lei / Carte Carte broșată
common.buy 481.75 lei
Cuckold Visiting Fellow Adfa Roger (Virginia Military Institute University of New South Wales Virginia Military Institute Virginia Military Institute Virginia / Carte Copertă tare
common.buy 179.31 lei
Interest Reconciliation between Aborginal and Non-Aboriginal Communities - Pervasive Challenges to Interest Reconciliation between Aboriginal and Non- Diana Groffen / Carte Carte broșată
common.buy 283.56 lei
Interpretations of Native North American Life Michael S. Nassaney / Carte Carte broșată
common.buy 153.25 lei
Generations on the Land Joe Nick Patoski / Carte Copertă tare
common.buy 126.55 lei
Making Schools Different Kitty te Riele / Carte Copertă tare
common.buy 632.40 lei
Pure Cute Beverly West / Carte Copertă tare
common.buy 53.58 lei
Swahili Grammar and Workbook Fid?le Mpiranya / Carte Carte broșată
common.buy 463.93 lei
Exam Essentials: Cambridge First Practice Tests 1 w/key + DV Charles Osborne / Carte Copertă tare
common.buy 253.54 lei
Top
Grounded George Brant / Carte Carte broșată
common.buy 96.63 lei
Beyond Babar Sandra L. Beckett / E-book Adobe ePub DRM
common.buy 495.83 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
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?