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

25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Computer Aided Verification Natasha Sharygina
Codul Libristo: 02075327
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iunie 2013
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Co... 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

I ja sam tu, uz vas Smriti Halls / Carte Copertă tare
common.buy 64.73 lei
Vie Abregee Du T. H. Frere Polycarpe / Carte Carte broșată
common.buy 85.48 lei
La société patriarcale face à la résistance des femmes Resta / Carte Carte broșată
common.buy 181.29 lei
Kumulyativnye Zaryady Oleg Minin / Carte Carte broșată
common.buy 445.06 lei
Lebensfunken Akin Yildiz / Carte Carte broșată
common.buy 59.31 lei
epidemiologische Teil des Berichtes uber die Tatigkeit MAX VON PETTENKOFER / Carte Carte broșată
common.buy 89.86 lei
La enzima para rejuvenecer HIROMI SHINYA / Carte Carte broșată
common.buy 105.08 lei
Patentschutz und Innovation in Geschichte und Gegenwart Rudolf Boch / Carte Carte broșată
common.buy 236.86 lei
Atys, Tragedie En Musique. Ornee d'Entrees de Ballet, de Machines (Ed.1676) Philippe Quinault / Carte Carte broșată
common.buy 85.48 lei
Schlüssel zur Mathematik - Differenzierende Ausgabe Niedersachsen - 5. Schuljahr Reinhold Koullen / Carte Copertă tare
common.buy 170.03 lei
Aufbruch in ein mehrdimensionales Denken Andreas Steiner / Carte Carte broșată
common.buy 89.65 lei
Die ewige Philosophie Aldous Huxley / Carte Carte broșată
common.buy 110.08 lei
Tatort Ägypten Arthur Conan Doyle / Carte Carte broșată
common.buy 98.82 lei
Curând
Gittertiere 1. Bd.1 Heidi Schär / Carte Carte broșată
common.buy 139.59 lei
Curând
Vegetative Physiologie Gerhard Heldmaier / Carte Copertă tare
common.buy 264.90 lei
Die Reform der Vereinten Nationen - Bilanz und Perspektiven. Johannes Varwick / Carte Carte broșată
common.buy 474.35 lei

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time.§

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 Natasha Sharygina, Helmut Veith
Limba engleză
Legare Carte - Carte broșată
Data publicării 2013
Număr pagini 1015
EAN 9783642397981
ISBN 3642397980
Codul Libristo 02075327
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1539
Dimensiuni 155 x 235 x 56

Categorii

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 > 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

Debates in Citizenship Education James Arthur / Carte Carte broșată
common.buy 323.91 lei
Ecclesiantics: 30 Years of Church Humor Erik Johnson / Carte Carte broșată
common.buy 57.12 lei
Cambridge Companion to the Musical William A. Everett / Carte Carte broșată
common.buy 229.04 lei
The Mammals of Israel Walter W. Ferguson / Carte Carte broșată
common.buy 157.00 lei
Spider Tapestries Mike Allen / Carte Carte broșată
common.buy 85.48 lei
Glyph* Shiro Nishimoto / Carte Copertă tare
common.buy 117.69 lei
Khobar Towers Air Force History and Museums Program / Carte Carte broșată
common.buy 167.63 lei
Dirty Kiss Rhys Ford / Carte Carte broșată
common.buy 82.04 lei
The Passaic Flood of 1903 Marshall Ora Leighton / Carte Carte broșată
common.buy 93.61 lei
Defending Objectivity Margaret Archer / Carte Copertă tare
common.buy 1 147.01 lei
Compagnie Irlandaise M. W. Kirwan / Carte Carte broșată
common.buy 132.81 lei
Strategic Networking in Small High Tech Firms Mette Monsted / Carte Carte broșată
common.buy 196.93 lei
Wizards' Country DAPHNE ROOKE / Carte Carte broșată
common.buy 77.03 lei
Households as Corporate Firms Krislert Samphantharak / Carte Carte broșată
common.buy 208.81 lei
Exploring Piano Classics Technique Alfred Publishing / Carte Carte broșată
common.buy 99.66 lei
The House of Vanity Hamza Laaouamri / Carte Carte broșată
common.buy 85.27 lei
Inequality in the Digital Economy Andrew White / Carte Carte broșată
common.buy 763.76 lei
Impressive Robert Klanten / Carte Carte broșată
common.buy 253.33 lei
Curând Nou
The Application of GIS Technologies in the Roman Period Fernandez / Carte Carte broșată
common.buy 216.01 lei
Decentralization and Development Partnership Fumihiko Saito / Carte Carte broșată
common.buy 285.96 lei
Parameter Setting Thomas Roeper / Carte Copertă tare
common.buy 922.96 lei
Environmental History of Medieval Europe Richard Hoffmann / Carte Carte broșată
common.buy 247.91 lei
Lectures on Stochastic Programming Alexander ShapiroDarinka DentchevaAndrzej Ruszczyński / Carte Carte broșată
common.buy 792.43 lei
Handbook of Modern Ion Beam Materials Analysis Y. WangM. Nastasi / Carte Copertă tare
common.buy 629.59 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?