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

17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Computer Aided Verification Kousha Etessami
Codul Libristo: 01560845
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iunie 2005
This book constitutes the refereed proceedings of the 17th 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

Bombolles i tovallola MÜHLE JÖRG / Carte Copertă tare
common.buy 92.69 lei
Ausgewahlte Schriften des Lucian Julius Wilhelm Ewald Sommerbrodt / Carte Carte broșată
common.buy 114.38 lei
La Teolosis y la Mujer Dr Elvin Heredia Phd / Carte Carte broșată
common.buy 61.93 lei
Koordinationstraining im Golf Marc Müller-Dargusch / Carte Carte broșată
common.buy 164.85 lei
A l'aube des heures fertiles Debarle / Carte Carte broșată
common.buy 120.53 lei
Histoire des Associations familiales catholiques Michel Emmanuel / Carte Carte broșată
common.buy 141.39 lei
Voyage au bout du monde Chang / Carte Carte broșată
common.buy 95.30 lei
Trouble de la personnalité borderline - Pratiques thérapeutiques Stéphane Kolly / Carte Carte broșată
common.buy 280.08 lei
POESIE IN MUSICA Biagio Di Carlo E Mara Seccia / Carte Carte broșată
common.buy 62.76 lei
Fragiler Pluralismus Hans-Georg Soeffner / Carte Carte broșată
common.buy 199.58 lei
Die Septuaginta - Geschichte, Wirkung, Relevanz Martin Meiser / Carte Copertă tare
common.buy 1 854.89 lei
Auslandsinvestitionen Und Wahrungsrisiken Thomas Schäfer / Carte Carte broșată
common.buy 235.87 lei
Anordnung zur Übertragung der Zuständigkeit für den Erlass von Widerspruchsbescheiden und der Vertretung bei Klagen von Beamten des Bundesinstituts fü Antiphon Verlag / Carte Foaie
common.buy 47.33 lei
Evaluación de Proyectos de Inversión Octavio Rolando Lara Martinez / Carte Carte broșată
common.buy 198.43 lei
Teorias implicitas acerca del curriculo en profesores de secundaria Rojas Romero Jesus Gabriela / Carte Carte broșată
common.buy 321.79 lei
Eenduisend-En-Een Grimmige Nagte Yolanda Faye Holden / Carte Carte broșată
common.buy 82.06 lei

This book constitutes the refereed proceedings of the 17th International Conference on Computer Aided Verification, CAV 2005, held in Edinburgh, Scotland, UK in July 2005.§The 32 revised full papers presented together with 16 tool papers and 3 invited papers, as well as a report on a special tools competition were carefully reviewed and selected from 155 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 Kousha Etessami, Sriram K. Rajamani
Limba engleză
Legare Carte - Carte broșată
Data publicării 2005
Număr pagini 568
EAN 9783540272311
ISBN 3540272313
Codul Libristo 01560845
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1800
Dimensiuni 155 x 235 x 32

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

Contemporary Electroanalytical Chemistry A. Ivaska / Carte Copertă tare
common.buy 1 139.23 lei
Everyday English, Book 1: Language Lessons For Intermediate Grades (1902) Jean Sherwood Rankin / Carte Copertă tare
common.buy 236.91 lei
Flyleaf Volume One: 2014 Flyleaf Journal / Carte Carte broșată
common.buy 57.13 lei
Rogues and Vagabonds George R Sims / Carte Carte broșată
common.buy 81.85 lei
The Claverings Anthony Trollope / Carte Carte broșată
common.buy 90.71 lei
Sexual Mountain and Black Women Writers Calvin C. Hernton / Carte Carte broșată
common.buy 73.40 lei
Ucoa: The Biker Experience Thomas Zimmer / Carte Carte broșată
common.buy 305.52 lei
Big Data Hai Jin / Carte Carte broșată
common.buy 286.02 lei
The Great Boer War Arthur Conan Doyle / Carte Carte broșată
common.buy 109.48 lei
R Programming: A Step-by-Step Guide for Absolute Beginners Daniel Bell / Carte Carte broșată
common.buy 76.84 lei
Handbook of Essential Oils K. Husnu Can Baser / Carte Copertă tare
common.buy 1 767.60 lei
The Medicine-Men of the Apache, Volume 9... John Gregory Bourke / Carte Carte broșată
common.buy 107.71 lei
Tibetan Terrier. Tibetan Terrier Dog Complete Owners Manual. Tibetan Terrier book for care, costs, feeding, grooming, health and training. George Hoppendale / Carte Carte broșată
common.buy 82.99 lei
Submissive Training More Sex More Fun Book Club / Carte Carte broșată
common.buy 86.85 lei
Our World 6: Grammar Workbook CRANDALL SHIN / Carte Foaie
common.buy 105.94 lei
Max and Moritz Stefan Hollos / Carte Carte broșată
common.buy 116.57 lei
Philosophy of Health, or, An Exposition of the Physical and Mental Constitution of Man Southwood 1788-1861 Smith / Carte Carte broșată
common.buy 148.27 lei
Body Intelligence Ph.D. Joseph Cardillo / Audiobook MP3
common.buy 79.45 lei
Decisive Endgame Mikael Carlson / Carte Carte broșată
common.buy 80.81 lei
Digital Nomads B. Vincent / Carte Carte broșată
common.buy 70.38 lei
Dior Fashion Unfolded Vol 02 TEAM FASHIONARY / Carte Copertă tare
common.buy 108.75 lei
Culture, Ethnicity, and Personal Relationship Processes Gaines / Carte Copertă tare
common.buy 1 090.32 lei
Business Basics International Edition: Teacher's Book David Grant / Carte Carte broșată
common.buy 81.01 lei
Handbook of Participatory Video E J Milne / Carte Copertă tare
common.buy 1 110.55 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