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

9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Computer Aided Verification Orna Grumberg
Codul Libristo: 05274713
Editura Springer, Berlin, noiembrie 1996
This book constitutes the strictly refereed proceedings of the 9th International Conference on Compu... 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

Fem música amb els bum bum, Educació Infantil, 4 anys. Guia Sylvia Dicovskiy Riobóo / Carte Carte broșată
common.buy 130.96 lei
Arkham Horror: Lovecraft Letter Zman / Joc / Jucărie Joc
common.buy 96.66 lei
Textes et Monuments Figures Relatifs aux Mysteres de Mithra, Tome Premier Franz Valery Marie Cumont / Carte Carte broșată
common.buy 188.73 lei
delitto Ammaturo. Luci e ombre di un mistero irrisolto Pierluigi Larotonda / Carte Carte broșată
common.buy 139.62 lei
Handbuch Alzheimer-Krankheit Frank Jessen / E-book Adobe ePub DRM
common.buy 806.89 lei
Tierna obsesion Marisa Estrada Barquet / Carte Carte broșată
common.buy 67.04 lei
Patron Oro Calderon Ivan Calderon / Carte Carte broșată
common.buy 72.05 lei
Luz Herrera Goya / Carte Carte broșată
common.buy 62.76 lei
Honorarordnung für Architekten und Ingenieure - HOAI 2021 Johann Peter Hebel / Carte Carte broșată
common.buy 99.26 lei
Erdem Degismeye Zorlandiginda Sinirleniyor Harpreet Kaur / Carte Carte broșată
common.buy 50.98 lei
Una storia dovunque Prezioso Sclano / Carte Carte broșată
common.buy 84.66 lei
Ley de Contratos / Carte Carte broșată
common.buy 142.43 lei
O composto de produtos e a estrategia de desenvolvimento de produtos Oste Graziano Cremonezi Graziela / Carte Carte broșată
common.buy 321.79 lei
Oh Tannenbaum, 2 Audio-CDs Sternschnuppe: Sarholz & Meier / Audio Audio CD
common.buy 70.59 lei
Nuove storie d'ogni colore Emilio De Marchi / Carte Carte broșată
common.buy 75.17 lei
Mehrkomponentenvertrage Benedikt Weisser / Carte Carte broșată
common.buy 188.94 lei
Mein neuer Musikus - Aktuelle Ausgabe - 1./2. Schuljahr Sonja Hoffmann / Carte Copertă tare
common.buy 135.45 lei
Un éternel prisonnier Dominique Henry / Carte Carte broșată
common.buy 110.11 lei
AEsthetik nach Wittgenstein Yves Bossart / Carte Copertă tare
common.buy 960.49 lei
Primiracconti Luisa Brisi / Carte Carte broșată
common.buy 31.69 lei

This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997.The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area.

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 Orna Grumberg
Limba engleză
Legare Carte - Carte broșată
Data publicării 1997
Număr pagini 492
EAN 9783540631668
ISBN 3540631666
Codul Libristo 05274713
Editura Springer, Berlin
Greutatea 654
Dimensiuni 156 x 234 x 25

Categorii

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

Embedded Software and Systems Man Lin / Carte Carte broșată
common.buy 601.78 lei
Advances in Exception Handling Techniques Alexander Romanovsky / Carte Carte broșată
common.buy 286.02 lei
A Fighting Parson: The Autobiography of Alexander Irvine Alexander Irvine / Carte Carte broșată
common.buy 174.13 lei
Tessili Rogue Robin Stephen / Carte Carte broșată
common.buy 52.13 lei
Impinging Streams Sakamon Devahastin / Carte Carte broșată
common.buy 315.12 lei
Pennycomequicks. a Novel. Sabine Baring-Gould / Carte Carte broșată
common.buy 128.15 lei
Clasicos Modernos ANA MARIA MATUTE / Carte Carte broșată
common.buy 66.83 lei
Getting to Grips with BIM Graham Paterson / Carte Carte broșată
common.buy 412.83 lei
Christianity, Islam and Atheism: The Struggle for the Soul of the West William Kilpatrick / Carte Carte broșată
common.buy 92.69 lei
Degree Gradation of Verbs Jens Fleischhauer / Carte Carte broșată
common.buy 219.70 lei
Extremism And Reformation David Myatt / Carte Carte broșată
common.buy 42.33 lei
Chinese Culture in Globalization Rugang Lu / Carte Carte broșată
common.buy 262.56 lei
The Lay of Lirazel Stephen R Babb / Carte Carte broșată
common.buy 72.05 lei
Talks James E. Potter / Carte Carte broșată
common.buy 120.95 lei
Speed of Light and the Simplicity RICHARD CLOUGH / Carte Copertă tare
common.buy 164.12 lei
Belief and Evangelism DOUGLAS VICKERS / Carte Copertă tare
common.buy 182.58 lei
Top
Beginner's Guide to Reading Schematics, Fourth Edition Stan Gibilisco / Carte Cu spiră
common.buy 120.95 lei
Running the Show Gill / Carte Carte broșată
common.buy 312.72 lei
Narrating the Rise of Big Business in the USA Anne Mayhew / Carte Copertă tare
common.buy 1 346.53 lei
Mathematical Puzzles Peter Winkler / Carte Carte broșată
common.buy 202.18 lei
Anglais - pour s'amuser à parler anglais ! Stéphanie Bioret / Carte Carte broșată
common.buy 68.40 lei
Cat Got Your Tongue? SHAW HANNAH / Carte Copertă tare
common.buy 69.23 lei
Selections with Key Clare West / Carte Carte broșată
common.buy 132.63 lei
Grammar and Style Michael Dummett / Carte Carte broșată
common.buy 181.75 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