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 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
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 280 b
115.93 €
Vanjske zalihe Šaljemo za 14-21 dana

Do 30 dana za povrat

Kupci su kupili i

Vitametrie® Joachim Heuser / Knjiga Meki uvez
common.buy 16.10 €
Inklusive Schule und Vielfalt Gottfried Biewer / Knjiga Meki uvez
common.buy 22.49 €
Neue Briefe Wilhelm Von Humboldts an Schiller 1796-1803 Wilhelm von Humboldt / Knjiga Meki uvez
common.buy 40.22 €
Personalabrechnung Auf Den Punkt Marianne Kiepe / Knjiga Meki uvez
common.buy 75.49 €
Flockies Krokodýl Camila - sběratelská figurka 5 cm / Igra/Igračka Igračka
common.buy 4.55 €
A Business Proposal n? 03 Narak / Knjiga Meki uvez
common.buy 18.84 €
Harry Potter és a Félvér Herceg - Hollóhátas Joanne K. Rowling / Knjiga Tvrdi uvez
common.buy 22.69 €
Plastic Hearts Miley Cyrus / Audio Audio CD
common.buy 14.68 €
Hermann von Salza Heinrich Hävernick / Knjiga Meki uvez
common.buy 22.39 €
Orta in giallo Erica Gibogini / Knjiga Meki uvez
common.buy 13.77 €
Borkum einst und jetzt B. Huismann / Knjiga Meki uvez
common.buy 16.21 €
Macrobiotica Zen: El arte del rejuvenecimiento y de la longevidad Georges Ohsawa / Knjiga Meki uvez
common.buy 14.79 €
Israel Gerrit Michel / Knjiga Meki uvez
common.buy 47.42 €
Aktuátorok modellezése és diagnosztikája mesterséges intelligenciával Viktor Füvesi / Knjiga Meki uvez
common.buy 46.41 €
El Banco Mundial, el Fondo Monetario Internacional y los derechos humanos María Eugenia López-Jacoiste Díaz / Knjiga Meki uvez
common.buy 51.27 €
Mil trece ejercicios y juegos aplicados al balonmano Ponz Callen / Knjiga Meki uvez
common.buy 43.87 €
Julian Assange, De la ética hacker a Wikileaks Gianluca Costantini / Knjiga Meki uvez
common.buy 17.22 €

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

Spatial Analysis and GeoComputation Manfred M. Fischer / Knjiga Meki uvez
common.buy 103.16 €
Research in Computational Molecular Biology Benny Chor / Knjiga Meki uvez
common.buy 54.51 €
Speech Prosody in Speech Synthesis: Modeling and generation of prosody for high quality and flexible speech synthesis Keikichi Hirose / Knjiga Tvrdi uvez
common.buy 113.50 €
Researches on Increasing the Performances of Renewable Energy Sources Petru Livinti / Knjiga Meki uvez
common.buy 21.48 €
Laparoscopic Colorectal Surgery Mark Coleman / Knjiga Tvrdi uvez
common.buy 293.08 €
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.21 €
Early Bicycles and the Quest for Speed Andrew Ritchie / Knjiga Meki uvez
common.buy 42.86 €
More Than a Great Wedding 2: Creating Healthy Communities Where Relationships Thrive Daryl L Smith / Knjiga Meki uvez
common.buy 8.60 €
How To Create, Market & Sell Audiobooks: What Every Author Should Know About Audiobook Leland Benton / Knjiga Meki uvez
common.buy 10.33 €
The Pathfinder; Or, The Inland Sea James Fenimore Cooper / Knjiga Meki uvez
common.buy 8.60 €
Double Exposure: A Twin Autobiography Thelma Furness / Knjiga Tvrdi uvez
common.buy 49.65 €
Ink Stained Hands Jennifer Rapp / Knjiga Meki uvez
common.buy 14.89 €
C++ Reactive Programming Peter Abraham / Knjiga Meki uvez
common.buy 49.75 €
Top
Flash by Geoff Johns Omnibus Vol. 1 Geoff Johns / Knjiga Tvrdi uvez
common.buy 67.79 €
Moult and Ageing of European Passerines Lukas Jenni / Knjiga Tvrdi uvez
common.buy 86.34 €
Practical Guide to Managing Clinical Trials Pfeiffer / Knjiga Meki uvez
common.buy 72.25 €
Pale Horse Rider Mark Jacobson / E-knjiga Adobe ePub DRM
common.buy 17.83 €
100 Things Bills Fans Should Know & Do Before They Die Jeffrey J. Miller / E-knjiga Adobe ePub DRM
common.buy 12.25 €
Golden Chain Algis Uzdavinys / E-knjiga Adobe ePub DRM
common.buy 37.89 €
It's Only Me John Underwood / E-knjiga Adobe ePub DRM
common.buy 23.20 €
Kid's Box New Generation Level 1 Posters British English Caroline Nixon / Tiskanica Plakat
common.buy 24.72 €
Mathematical Aspects of Paradoxes in Cosmology Michal Krízek / Knjiga Tvrdi uvez
common.buy 154.64 €
Illustrated Bible Stories Various / Knjiga Tvrdi uvez
common.buy 16.10 €
Coercion and Conciliation in Ireland 1880-1892 Lewis Perry Curtis / Knjiga Meki uvez
common.buy 89.58 €

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?