Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 4.49 € DPD točka 3.99 € GLS Kurir 5.49 € GLS paketomat 4.49 € Hrvatska pošta 5.49 € Dostava Overseas 5.49 € Box Now 4.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Computer Aided Verification

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Computer Aided Verification Tayssir Touili
Libristo kod: 01656210
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipanj 2010
This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aide... Cijeli opis
? points 260 b
107.16 €
50 % šanse Pretražit ćemo cijeli svijet Kada ću dobiti knjigu?

Do 30 dana za povrat

Kupci su kupili i

A Business Proposal n? 03 Narak / Knjiga Meki uvez
common.buy 18.72 €
Harry Potter és a Félvér Herceg - Hollóhátas Joanne K. Rowling / Knjiga Tvrdi uvez
common.buy 23.66 €
Flockies Krokodýl Camila - sběratelská figurka 5 cm / Igra/Igračka Igračka
common.buy 4.62 €
Wie man ein afrikanisches Exzellenzzentrum für biomedizinische Forschung einrichtet Philip Anochie / Knjiga Meki uvez
common.buy 48.74 €
Plastic Hearts Miley Cyrus / Audio Audio CD
common.buy 14.59 €
5D-Collapse Kurt A. Penrose / Knjiga Meki uvez
common.buy 17.01 €
REVISTA MONGOLIA 40 ENERO 2016 Knjiga binding.
common.buy 4.93 €
Vitametrie® Joachim Heuser / Knjiga Meki uvez
common.buy 15.80 €
Mil trece ejercicios y juegos aplicados al balonmano Ponz Callen / Knjiga Meki uvez
common.buy 45.62 €
Oekonomische Analyse Der Religion Christian Eilinghoff / Knjiga Meki uvez
common.buy 66.67 €
Všetko o kúpeľni collegium / Knjiga Meki uvez
common.buy 3.62 €
Probleme der Gleichbehandlung aller Religionen Marcel Löhr / Knjiga Meki uvez
common.buy 16.11 €
Personalabrechnung Auf Den Punkt Marianne Kiepe / Knjiga Meki uvez
common.buy 75.03 €
Neue Briefe Wilhelm Von Humboldts an Schiller 1796-1803 Wilhelm von Humboldt / Knjiga Meki uvez
common.buy 39.88 €
Hermann von Salza Heinrich Hävernick / Knjiga Meki uvez
common.buy 22.25 €
Borkum einst und jetzt B. Huismann / Knjiga Meki uvez
common.buy 16.11 €
Die Erfolge des Marius gegen den 'furor Teutonicus' Andy Schalm / Knjiga Meki uvez
common.buy 14.39 €
Ein Verfahren zur reportbasierten Diagnose von technischen Maschinenstörungen in der Instandhaltung Walter Wincheringer / Knjiga Meki uvez
common.buy 52.87 €
Israel Gerrit Michel / Knjiga Meki uvez
common.buy 46.93 €
Orta in giallo Erica Gibogini / Knjiga Meki uvez
common.buy 13.99 €
Julian Assange, De la ética hacker a Wikileaks Gianluca Costantini / Knjiga Meki uvez
common.buy 17.92 €
El origen de la célula Lynn Margulis / Knjiga Meki uvez
common.buy 17.21 €
Cesta k rovnováze Pavel Kohout / Knjiga Meki uvez
common.buy 6.03 €
El Banco Mundial, el Fondo Monetario Internacional y los derechos humanos María Eugenia López-Jacoiste Díaz / Knjiga Meki uvez
common.buy 53.47 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Computer Aided Verification
Autor Tayssir Touili, Byron Cook, Paul Jackson
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2010
Broj stranica 676
EAN 9783642142949
ISBN 364214294X
Libristo kod 01656210
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 961
Dimenzije 155 x 238 x 28

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Speech Prosody in Speech Synthesis: Modeling and generation of prosody for high quality and flexible speech synthesis Keikichi Hirose / Knjiga Tvrdi uvez
common.buy 106.65 €
Spatial Analysis and GeoComputation Manfred M. Fischer / Knjiga Meki uvez
common.buy 96.98 €
Research in Computational Molecular Biology Benny Chor / Knjiga Meki uvez
common.buy 53.98 €
Early Bicycles and the Quest for Speed Andrew Ritchie / Knjiga Meki uvez
common.buy 39.88 €
How To Create, Market & Sell Audiobooks: What Every Author Should Know About Audiobook Leland Benton / Knjiga Meki uvez
common.buy 10.57 €
Islamic Coins and Their Values Volume 2 Tim Wilkes / Knjiga Tvrdi uvez
common.buy 49.14 €
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 / Knjiga Meki uvez
common.buy 16.00 €
Laparoscopic Colorectal Surgery Mark Coleman / Knjiga Tvrdi uvez
common.buy 276.77 €
Researches on Increasing the Performances of Renewable Energy Sources Petru Livinti / Knjiga Meki uvez
common.buy 20.13 €
Pale Horse Rider Mark Jacobson / E-knjiga Adobe ePub DRM
common.buy 18.93 €
100 Things Bills Fans Should Know & Do Before They Die Jeffrey J. Miller / E-knjiga Adobe ePub DRM
common.buy 12.48 €
French Food At Home Laura Calder / Knjiga Meki uvez
common.buy 15.90 €
Euro-Orientalism Ezequiel Adamovsky / Knjiga Meki uvez
common.buy 88.32 €
Printed Circuits Handbook, Seventh Edition Clyde Coombs / Knjiga Tvrdi uvez
common.buy 246.15 €
BAROQUE SPIRIT THE BOOK 1 NANCY EDITO BACHUS / Knjiga Meki uvez
common.buy 14.19 €
Lewis and Clark Point of Departure Timothy S Raymer / Knjiga Tvrdi uvez
common.buy 22.15 €
Vtt Example Joint Author / Knjiga Meki uvez
common.buy 19.93 €
More Than a Great Wedding 2: Creating Healthy Communities Where Relationships Thrive Daryl L Smith / Knjiga Meki uvez
common.buy 8.75 €
Tiny Tyrannosaurus Penny Luker / Knjiga Meki uvez
common.buy 9.16 €
The Southern Book Club's Guide to Slaying Vampires Grady Hendrix / Audio Audio CD
common.buy 37.66 €
The Pathfinder; Or, The Inland Sea James Fenimore Cooper / Knjiga Meki uvez
common.buy 8.75 €
Double Exposure: A Twin Autobiography Thelma Furness / Knjiga Tvrdi uvez
common.buy 50.75 €
The Proverbs and Epigrams of John Heywood, A.D. 1562 John Heywood / Knjiga Tvrdi uvez
common.buy 43.00 €
Ink Stained Hands Jennifer Rapp / Knjiga Meki uvez
common.buy 15.10 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?