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

14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Computer Aided Verification Ed Brinksma
Libristo kod: 01564506
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, srpanj 2002
This book constitutes the refereed proceedings of the 14th International Conference on Computer Aide... Cijeli opis
? points 249 b
103.27 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Albert & Einstein. Spannender Rätselkrimi zum Mitraten, Band 1: In den Fängen von Dr. Chaos (Lustiges Rätselbuch ab 8 Jahre) Tim Collins / Knjiga Meki uvez
common.buy 7.40 €
20.000 leguas de viaje submarino Jules Verne / Knjiga Tvrdi uvez
common.buy 15.92 €
Magdeburger Drogenmarkt Sven Paschke / Knjiga Meki uvez
common.buy 34.08 €
Pferd als Lernhelfer fur verhaltensauffallige Kinder und Jugendliche Claudia Zeller / Knjiga Meki uvez
common.buy 44.73 €
I care Lernkarten Spezielle Pflege - Anatomie, Physiologie, Krankheitslehre und Pflege bei speziellen Erkrankungen Walter Anton / Igra/Igračka Igra
common.buy 42.60 €
L'orchestre des animaux joue Vivaldi - dès 3 ans Sam Taplin / Knjiga Knjiga
common.buy 17.24 €
Marketing Gubernamental. Manual de estrategias y herramientas para gobiernos e instituciones en la e PEREZ ROJAS / Knjiga Meki uvez
common.buy 32.66 €
POR LOS CAMINOS DE ASIS URIBE GAVIRIA / Knjiga Knjiga
common.buy 13.48 €
Top
Pán prstenů Návrat krále John Ronald Reuel Tolkien / Knjiga Tvrdi uvez
common.buy 23.32 €
Model dydaktyczny dotycz¿cy kszta¿cenia zawodowego w dziedzinie po¿o¿nictwa Carmen Hild-Schober / Knjiga Meki uvez
common.buy 55.28 €
O Livro de Metatron - O Anjo da Presença Max Stone / Knjiga Meki uvez
common.buy 15.61 €
¡De vacaciones! PETER KNORR / Knjiga Meki uvez
common.buy 16.93 €
Stein Unter Steinen: Schauspiel in 4 Akten Hermann Sudermann / Knjiga Meki uvez
common.buy 19.37 €
Tiere und ihr Zuhause Claudia Boldt / Igra/Igračka Igra
common.buy 14.29 €
Čeho bychom se měli obávat? John Brockman / Knjiga Meki uvez
common.buy 11.45 €
Contraception Et D sir d'Enfant Aimée Patricia Ndembi Ndembi / Knjiga Meki uvez
common.buy 70.50 €
Science Fiction Stories Jürgen Schnaible / Knjiga Meki uvez
common.buy 35.70 €
Pomsta za neveru Inéz Melichová / Knjiga Tvrdi uvez
common.buy 9.73 €
Hayaller Gemisi Koray Avci cakman / Knjiga Meki uvez
common.buy 7.29 €
Lean Management Andreas Kammel / Knjiga Meki uvez
common.buy 42.60 €
Metapolitica. Trasformazione globale e guerra fra potenze Daniel Estulin / Knjiga Meki uvez
common.buy 37.53 €
Gipfel der Götter. Bd.1 Jiro Taniguchi / Knjiga Meki uvez
common.buy 16.12 €
Abenteuer des schwarzen Gerard 2 Karl May / Knjiga Tvrdi uvez
common.buy 26.87 €
Aus Dem Geschlecht Der Byge - Erster Band Laurids Bruun / Knjiga Tvrdi uvez
common.buy 22.41 €

This book constitutes the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. The 35 revised full papers presented together with five invited contributions and 11 tool presentations were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections in symbolic model checking, abstraction/refinement and model checking, compositional/structural verification, timing analysis, SAT based methods, infinite state model checking, extended model checking, code verification, regular model checking and acceleration, and model reduction.

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 Ed Brinksma, Kim G. Larsen
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2002
Broj stranica 362
EAN 9783540439974
ISBN 3540439978
Libristo kod 01564506
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 2010
Dimenzije 155 x 233 x 36

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
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
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

Dynamic Well Testing in Petroleum Exploration and Development Yongxin Han / Knjiga Meki uvez
common.buy 199.95 €
Top
Let's Find Momo! Andrew Knapp / Knjiga Leporelo
common.buy 7.90 €
LAW REPORTS PRIVY COUNCIL APPE Great Britain Privy Council Judicial C. / Knjiga Tvrdi uvez
common.buy 39.35 €
SAXON MATH COURSE 1 Saxpub / Knjiga Tvrdi uvez
common.buy 216.08 €
Taste of Home How Do I Make...? Editors at Taste of Home / Knjiga Meki uvez
common.buy 17.24 €
The Prodigal Son Revisited: Exit and Return of Angels, Humans, and the Trinity MR Samuel J Castellino / Knjiga Meki uvez
common.buy 17.54 €
Under the Gaslight Augustin Daly / Knjiga Meki uvez
common.buy 12.67 €
Stephen Crane's Classics: The Red Badge of Courage and Maggie: A Girl of the Streets Stephen Crane / Knjiga Meki uvez
common.buy 10.34 €
Cheerleading Kaitlyn Duling / Knjiga Tvrdi uvez
common.buy 33.16 €
Pediatric Dysphagia Julina Ongkasuwan / Knjiga Tvrdi uvez
common.buy 141.41 €
Harry Potter and the Half-Blood Prince, 6 J K Rowling / Knjiga Meki uvez
common.buy 12.16 €
Housing in Taiwan William D.H. Li / Knjiga Tvrdi uvez
common.buy 199.24 €
Essential Elements Jazz Play-Along - Jazz Standards: Rhythm Section [With CDROM] Hal Leonard Corp / Knjiga Meki uvez
common.buy 13.18 €
Who Is Bharat Mata? On History, Culture and the Idea of India Purushottam Agrawal / Knjiga Meki uvez
common.buy 29.21 €
Hawaiian Chihuahua Ukulele Tabs / Knjiga Meki uvez
common.buy 9.42 €
This Is Not A Book Keri Smith / Knjiga Meki uvez
common.buy 18.15 €
Sunkisses Larsee H Mac / Knjiga Meki uvez
common.buy 14.90 €
Top
Mauser Rifles, Vol. 1: 1870-1918 GUILLOU LUC / Knjiga Tvrdi uvez
common.buy 19.67 €
The Religion Of The Spirit World: Written By The Spirits Themselves (1920) George Henslow / Knjiga Meki uvez
common.buy 27.89 €
Epic Drives of the World 1 Lonely planet eng / Knjiga Meki uvez
common.buy 16.02 €
Inspired Winsome James / Knjiga Meki uvez
common.buy 18.35 €
LITTLE BUSINESS BOOKS CHANGE FRANKLIN WATTS / Knjiga Meki uvez
common.buy 11.76 €
Torchwood The Men Who Sold The World Guy Adams / Audio knjiga MP3
common.buy 7.60 €
Crime for the Books Kate Young / E-knjiga Adobe ePub DRM
common.buy 16.83 €

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?