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

14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Computer Aided Verification Ed Brinksma
Codul Libristo: 01564506
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iulie 2002
This book constitutes the refereed proceedings of the 14th International Conference on Computer Aide... Descrierea completă
? points 263 b
570.50 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Biblia Reina Valera Letra Súper Gigante, Símil Piel Negro / Spanish Bible Reina Valera Super Giant Print, Black Leathersoft Reina Valera 1909 / Carte Carte broșată
common.buy 161.72 lei
Tiere und ihr Zuhause Claudia Boldt / Joc / Jucărie Joc
common.buy 79.24 lei
¡De vacaciones! PETER KNORR / Carte Carte broșată
common.buy 93.11 lei
O Livro de Metatron - O Anjo da Presença Max Stone / Carte Carte broșată
common.buy 85.81 lei
Albert & Einstein. Spannender Rätselkrimi zum Mitraten, Band 1: In den Fängen von Dr. Chaos (Lustiges Rätselbuch ab 8 Jahre) Tim Collins / Carte Carte broșată
common.buy 41.07 lei
Čeho bychom se měli obávat? John Brockman / Carte Carte broșată
common.buy 63.60 lei
Marketing Gubernamental. Manual de estrategias y herramientas para gobiernos e instituciones en la e PEREZ ROJAS / Carte Carte broșată
common.buy 179.77 lei
I care Lernkarten Spezielle Pflege - Anatomie, Physiologie, Krankheitslehre und Pflege bei speziellen Erkrankungen Walter Anton / Joc / Jucărie Joc
common.buy 235.87 lei
Contraception Et D sir d'Enfant Aimée Patricia Ndembi Ndembi / Carte Carte broșată
common.buy 391.34 lei
20.000 leguas de viaje submarino Jules Verne / Carte Copertă tare
common.buy 79.66 lei
Metapolitica. Trasformazione globale e guerra fra potenze Daniel Estulin / Carte Carte broșată
common.buy 207.40 lei
Lean Management Andreas Kammel / Carte Carte broșată
common.buy 235.87 lei
Journal Martin du Gard / Carte Copertă tare
common.buy 369.34 lei
Magdeburger Drogenmarkt Sven Paschke / Carte Carte broșată
common.buy 188.94 lei
Cocktails Manuela Eder / Carte Copertă tare
common.buy 31.48 lei
Aus Dem Geschlecht Der Byge - Erster Band Laurids Bruun / Carte Copertă tare
common.buy 124.39 lei
Abenteuer des schwarzen Gerard 2 Karl May / Carte Copertă tare
common.buy 149.00 lei
Pán prstenů Návrat krále John Ronald Reuel Tolkien / Carte Copertă tare
common.buy 130.02 lei

This book constitutes the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. The 35 revised full papers presented together with five invited contributions and 11 tool presentations were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections in symbolic model checking, abstraction/refinement and model checking, compositional/structural verification, timing analysis, SAT based methods, infinite state model checking, extended model checking, code verification, regular model checking and acceleration, and model reduction.

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 Ed Brinksma, Kim G. Larsen
Limba engleză
Legare Carte - Carte broșată
Data publicării 2002
Număr pagini 362
EAN 9783540439974
ISBN 3540439978
Codul Libristo 01564506
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 2010
Dimensiuni 155 x 233 x 36

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

Essential Elements Jazz Play-Along - Jazz Standards: Rhythm Section [With CDROM] Hal Leonard Corp / Carte Carte broșată
common.buy 73.61 lei
Introduction to Home Management Sandhya Rani Mohanty / Carte Carte broșată
common.buy 198.95 lei
Top
Let's Find Momo! Andrew Knapp / Carte Cărți pliante
common.buy 53.59 lei
LAW REPORTS PRIVY COUNCIL APPE Great Britain Privy Council Judicial C. / Carte Copertă tare
common.buy 216.05 lei
SAXON MATH COURSE 1 Saxpub / Carte Copertă tare
common.buy 1 164.15 lei
Taste of Home How Do I Make...? Editors at Taste of Home / Carte Carte broșată
common.buy 92.69 lei
Under the Gaslight Augustin Daly / Carte Carte broșată
common.buy 70.17 lei
Stephen Crane's Classics: The Red Badge of Courage and Maggie: A Girl of the Streets Stephen Crane / Carte Carte broșată
common.buy 57.13 lei
Cheerleading Kaitlyn Duling / Carte Copertă tare
common.buy 181.54 lei
Pediatric Dysphagia Julina Ongkasuwan / Carte Copertă tare
common.buy 781.55 lei
Harry Potter and the Half-Blood Prince, 6 J K Rowling / Carte Carte broșată
common.buy 67.56 lei
Housing in Taiwan William D.H. Li / Carte Copertă tare
common.buy 947.88 lei
The Prodigal Son Revisited: Exit and Return of Angels, Humans, and the Trinity MR Samuel J Castellino / Carte Carte broșată
common.buy 96.66 lei
Who Is Bharat Mata? On History, Culture and the Idea of India Purushottam Agrawal / Carte Carte broșată
common.buy 162.04 lei
Hawaiian Chihuahua Ukulele Tabs / Carte Carte broșată
common.buy 51.92 lei
Dynamic Well Testing in Petroleum Exploration and Development Yongxin Han / Carte Carte broșată
common.buy 1 089.90 lei
Sunkisses Larsee H Mac / Carte Carte broșată
common.buy 82.06 lei
Top
Mauser Rifles, Vol. 1: 1870-1918 GUILLOU LUC / Carte Copertă tare
common.buy 109.69 lei
The Religion Of The Spirit World: Written By The Spirits Themselves (1920) George Henslow / Carte Carte broșată
common.buy 153.28 lei
Epic Drives of the World 1 Lonely planet eng / Carte Carte broșată
common.buy 89.88 lei
Inspired Winsome James / Carte Carte broșată
common.buy 96.86 lei
Crime for the Books Kate Young / E-book Adobe ePub DRM
common.buy 93.11 lei
Top
Eden of Witches Volume 1 YUMEJI / Carte Carte broșată
common.buy 60.58 lei
Research Methods in Publishing and Book Studies Rachel Noorda / Carte Carte broșată
common.buy 324.81 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