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 17.50 lei Urgent Cargus 30.50 lei Easybox 22.50 lei Punct FAN 18.50 lei Punct DPD 19.50 lei Curier DPD 27.50 lei FAN Courier 27.50 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Computer Aided Verification

22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Computer Aided Verification Tayssir Touili
Codul Libristo: 01656210
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iunie 2010
This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aide... Descrierea completă
? points 274 b
601.95 lei
șansă 50% Şanse de a obține acest titlu Când primesc cărțile?

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

A Business Proposal n? 03 Narak / Carte Carte broșată
common.buy 105.04 lei
Harry Potter és a Félvér Herceg - Hollóhátas Joanne K. Rowling / Carte Copertă tare
common.buy 134.29 lei
Flockies Krokodýl Camila - sběratelská figurka 5 cm / Joc / Jucărie Jucărie
common.buy 25.93 lei
Wie man ein afrikanisches Exzellenzzentrum für biomedizinische Forschung einrichtet Philip Anochie / Carte Carte broșată
common.buy 275.33 lei
Plastic Hearts Miley Cyrus / Audio Audio CD
common.buy 81.52 lei
5D-Collapse Kurt A. Penrose / Carte Carte broșată
common.buy 96.29 lei
REVISTA MONGOLIA 40 ENERO 2016 Carte binding.
common.buy 26.13 lei
Vitametrie® Joachim Heuser / Carte Carte broșată
common.buy 89.26 lei
Mil trece ejercicios y juegos aplicados al balonmano Ponz Callen / Carte Carte broșată
common.buy 254.93 lei
Oekonomische Analyse Der Religion Christian Eilinghoff / Carte Carte broșată
common.buy 355.86 lei
Všetko o kúpeľni collegium / Carte Carte broșată
common.buy 19.39 lei
Probleme der Gleichbehandlung aller Religionen Marcel Löhr / Carte Carte broșată
common.buy 90.97 lei
Personalabrechnung Auf Den Punkt Marianne Kiepe / Carte Carte broșată
common.buy 422.81 lei
Neue Briefe Wilhelm Von Humboldts an Schiller 1796-1803 Wilhelm von Humboldt / Carte Carte broșată
common.buy 225.67 lei
Hermann von Salza Heinrich Hävernick / Carte Carte broșată
common.buy 125.95 lei
Borkum einst und jetzt B. Huismann / Carte Carte broșată
common.buy 90.97 lei
Die Erfolge des Marius gegen den 'furor Teutonicus' Andy Schalm / Carte Carte broșată
common.buy 81.12 lei
Ein Verfahren zur reportbasierten Diagnose von technischen Maschinenstörungen in der Instandhaltung Walter Wincheringer / Carte Carte broșată
common.buy 297.35 lei
Israel Gerrit Michel / Carte Carte broșată
common.buy 264.38 lei
Orta in giallo Erica Gibogini / Carte Carte broșată
common.buy 78.70 lei
Julian Assange, De la ética hacker a Wikileaks Gianluca Costantini / Carte Carte broșată
common.buy 100.42 lei
El origen de la célula Lynn Margulis / Carte Carte broșată
common.buy 101.72 lei
Cesta k rovnováze Pavel Kohout / Carte Carte broșată
common.buy 34.07 lei
El Banco Mundial, el Fondo Monetario Internacional y los derechos humanos María Eugenia López-Jacoiste Díaz / Carte Carte broșată
common.buy 299.36 lei

This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. The 34 revised full papers presented together with 17 tool papers, 4 invited talks and 3 invited tutorials were carefully reviewed and selected from 101 regular paper and 44 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for hardware and software systems. They are organized in topical sections on software model checking; model checking and automata; tools; counter and hybrid systems verification; memory consistency; verification of hardware and low level code; synthesis; concurrent program verification; compositional reasoning; and decision procedures.

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 Tayssir Touili, Byron Cook, Paul Jackson
Limba engleză
Legare Carte - Carte broșată
Data publicării 2010
Număr pagini 676
EAN 9783642142949
ISBN 364214294X
Codul Libristo 01656210
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 961
Dimensiuni 155 x 238 x 28

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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
Computing & Information Technology > Information technology: general issues
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

Speech Prosody in Speech Synthesis: Modeling and generation of prosody for high quality and flexible speech synthesis Keikichi Hirose / Carte Copertă tare
common.buy 601.95 lei
Spatial Analysis and GeoComputation Manfred M. Fischer / Carte Carte broșată
common.buy 547.46 lei
Research in Computational Molecular Biology Benny Chor / Carte Carte broșată
common.buy 303.28 lei
Early Bicycles and the Quest for Speed Andrew Ritchie / Carte Carte broșată
common.buy 212.91 lei
How To Create, Market & Sell Audiobooks: What Every Author Should Know About Audiobook Leland Benton / Carte Carte broșată
common.buy 59.10 lei
Islamic Coins and Their Values Volume 2 Tim Wilkes / Carte Copertă tare
common.buy 277.35 lei
Finishers' Manual - Containing the Receipts of an Expert for Finishing the Bottoms of Boots and Shoe, as Well as Other Valuable Information E. T. Thayer / Carte Carte broșată
common.buy 85.24 lei
Laparoscopic Colorectal Surgery Mark Coleman / Carte Copertă tare
common.buy 1 555.15 lei
Researches on Increasing the Performances of Renewable Energy Sources Petru Livinti / Carte Carte broșată
common.buy 114.09 lei
Pale Horse Rider Mark Jacobson / E-book Adobe ePub DRM
common.buy 107.25 lei
100 Things Bills Fans Should Know & Do Before They Die Jeffrey J. Miller / E-book Adobe ePub DRM
common.buy 70.36 lei
French Food At Home Laura Calder / Carte Carte broșată
common.buy 89.66 lei
Euro-Orientalism Ezequiel Adamovsky / Carte Carte broșată
common.buy 471.46 lei
Printed Circuits Handbook, Seventh Edition Clyde Coombs / Carte Copertă tare
common.buy 1 374.90 lei
BAROQUE SPIRIT THE BOOK 1 NANCY EDITO BACHUS / Carte Carte broșată
common.buy 80.21 lei
Lewis and Clark Point of Departure Timothy S Raymer / Carte Copertă tare
common.buy 118.21 lei
Vtt Example Joint Author / Carte Carte broșată
common.buy 112.78 lei
More Than a Great Wedding 2: Creating Healthy Communities Where Relationships Thrive Daryl L Smith / Carte Carte broșată
common.buy 48.75 lei
Tiny Tyrannosaurus Penny Luker / Carte Carte broșată
common.buy 51.16 lei
The Southern Book Club's Guide to Slaying Vampires Grady Hendrix / Audio Audio CD
common.buy 214.01 lei
The Pathfinder; Or, The Inland Sea James Fenimore Cooper / Carte Carte broșată
common.buy 48.75 lei
Double Exposure: A Twin Autobiography Thelma Furness / Carte Copertă tare
common.buy 284.18 lei
The Proverbs and Epigrams of John Heywood, A.D. 1562 John Heywood / Carte Copertă tare
common.buy 240.65 lei
Ink Stained Hands Jennifer Rapp / Carte Carte broșată
common.buy 85.04 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?