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

21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Computer Aided Verification Ahmed Bouajjani
Codul Libristo: 01650024
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iunie 2009
This book constitutes the refereed proceedings of the 21st International Conference on Computer Aide... Descrierea completă
? points 263 b
571.12 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Podstawy ekonomii Podrecznik Janina Mierzejewska-Majcherek / Carte Carte broșată
common.buy 68.26 lei
Cómo estudiar 2. Ejercicios prácticos Antonio Vallés Arándiga / Carte Carte broșată
common.buy 89.97 lei
Die Evolution vom Gesichtspunkte des Wahrhaftigen Rudolf Steiner / Carte Copertă tare
common.buy 169.31 lei
Klekání Francis Jammes / Carte Foaie
common.buy 43.21 lei
Modernes Sachsen Ralph Lindner / Carte Carte broșată
common.buy 109.60 lei
Etude comparative et Amélioration des protocoles de Routage(LEACH&SEP) Rahma Gantassi / Carte Carte broșată
common.buy 326.94 lei
Zu den Schriften Ivos bon Chartres Franz Plazidus Bliemetzrieder / Carte Carte broșată
common.buy 70.04 lei
Contos que n?o se contam Rohrig C / Carte Carte broșată
common.buy 34.33 lei
Jydsk Staevne: Et Aarsskrift... Jeppe Aakj R. / Carte Carte broșată
common.buy 127.35 lei
El espia que no sabia contar Karlos San Pedro / Carte Carte broșată
common.buy 69.52 lei
Oheň Jane Caseyová / Carte Copertă tare
common.buy 56.26 lei
Energie Vaclav Smil / Carte Copertă tare
common.buy 82.15 lei

This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009.§The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems; their scope ranges from theoretical results to concrete applications, with an emphasis on practical verification tools and the underlying algorithms and techniques.

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 Ahmed Bouajjani, Oded Maler
Limba engleză
Legare Carte - Carte broșată
Data publicării 2009
Număr pagini 722
EAN 9783642026577
ISBN 3642026575
Codul Libristo 01650024
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1116
Dimensiuni 155 x 235 x 40

Categorii

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
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

Environmentally Friendly Alkylphosphonate Herbicides Hong-Wu He / Carte Carte broșată
common.buy 571.12 lei
Parallel and Distributed Computing and Networks Luo Qi / Carte Carte broșată
common.buy 307.63 lei
Leftin
One Graham Priest / Carte Carte broșată
common.buy 101.25 lei
Kitsune Nicolette Andrews / Carte Carte broșată
common.buy 112.84 lei
New York City's Italian Neighborhoods Raymond Guarini / Carte Carte broșată
common.buy 113.67 lei
Advances in Chitin/Chitosan Characterization and Applications Marguerite Rinaudo / Carte Carte broșată
common.buy 442.40 lei
Chinese Central Asia Henry Lansdell / Carte Carte broșată
common.buy 173.91 lei
Democratic Incongruities D. Judge / Carte Carte broșată
common.buy 295.21 lei
Advanced Penetration Testing for Highly-Secured Environments - Lee Allen / Carte Carte broșată
common.buy 367.55 lei
Ella Warner US Marshal JL 'DOC' PENDLAND / Carte Carte broșată
common.buy 106.68 lei
Checkmating Aliens Soma Vira / Carte Carte broșată
common.buy 59.39 lei
Group Theory for Physicists Zhong-Qi Ma / Carte Carte broșată
common.buy 240.40 lei
Creation of the Roman Frontier Stephen L. Dyson / Carte Copertă tare
common.buy 702.13 lei
Autobiographical Statements in Twentieth-Century Russian Literature Jane Gary Harris / Carte Copertă tare
common.buy 603.48 lei
Cities, Business, and the Politics of Urban Violence in Latin America Eduardo Moncada / Carte Copertă tare
common.buy 454.51 lei
Molten Salts Chemistry Frederic Lantelme / Carte Copertă tare
common.buy 1 094.12 lei
Granular Physics Anita Mehta / Carte Carte broșată
common.buy 368.49 lei
Color Atlas of Embryology U. Drews / Carte Carte broșată
common.buy 295.21 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