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
Zbog tehničkih razloga telefonska podrška danas neće biti dostupna, molimo kontaktirajte nas putem e-maila.
Zbog tehničkih razloga telefonska podrška danas neće biti dostupna, molimo kontaktirajte nas putem e-maila.

Model Checking Software

16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Model Checking Software Corina S. Pasareanu
Libristo kod: 01650022
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipanj 2009
This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Chec... Cijeli opis
? points 125 b
51.19 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Comunidad Terapeutica Psicoanalitica de Estructura Multifamiliar oder Escuela de Familia Christina Keim / Knjiga Meki uvez
common.buy 42.45 €
Einf hrung in Die Sprachheilkunde J. Berendes / Knjiga Meki uvez
common.buy 47.88 €
Azúcar e intervención económica en España Martín Rodríguez / Knjiga Meki uvez
common.buy 23.98 €
10 Dinge, die autistische Kinder ihren Eltern sagen möchten Ellen Notbohm / Knjiga Meki uvez
common.buy 19.57 €
Boko Haram : les mots d'une crise Henri Mbarkoutou Mahamat / Knjiga Meki uvez
common.buy 17.86 €
La lucha continúa Tonya Sipes / Knjiga Meki uvez
common.buy 8.42 €
Panorama estratégico, 2006/2007 / Knjiga Meki uvez
common.buy 8.42 €
Fonti normative francescane Roberto Lambertini / Knjiga Knjiga
common.buy 83.31 €
benandanti. Una storia senza tempo Floreana Nativo / Knjiga Meki uvez
common.buy 16.55 €
Auswirkungen von Bodenbearbeitung und Mulchen auf den Ertrag von Mais Muhammad Ramzan / Knjiga Meki uvez
common.buy 48.58 €
Das inoffizielle Wednesday Zeichnen- und Kreativ-Buch Gecko Keck / Knjiga Meki uvez
common.buy 11.84 €
Amis, vacances et petites enqu?tes Sam G / Knjiga Meki uvez
common.buy 9.63 €
Eine Liebeserklärung an das Ruhrgebiet Clara Hofmann / Knjiga Meki uvez
common.buy 9.03 €
Lehrbuch der Experimentalphysik / Knjiga Tvrdi uvez
common.buy 88.13 €
Lodz w PRL-u Ewa Niedzwiecka / Knjiga Tvrdi uvez
common.buy 19.97 €
Příběhy z temné komory Günter Grass / Knjiga Tvrdi uvez
common.buy 8.12 €
Handbuch der arabischen Dialekte Wolfdietrich Fischer / Knjiga Meki uvez
common.buy 45.97 €
Das Geräusch einer Schnecke beim Essen Elisabeth Tova Bailey / Knjiga Meki uvez
common.buy 10.83 €
Kärntner Auftragsvergabegesetz Michaela Schabus / Knjiga Meki uvez
common.buy 28.30 €
Klassische Boersenstrategien im Test Daniel Ruppert / Knjiga Meki uvez
common.buy 39.84 €
Internationale Hölderlin-Bibliographie / 1995-1996. II Materialband Werner P. Sohnle / Knjiga Tvrdi uvez
common.buy 58.62 €
Prakticheskij Russkij Yazyk v Situatsiyakh i Illyustratsiyakh G.G. Malyshev / Knjiga Meki uvez
common.buy 47.07 €
Werbeagenturen in der Politikvermittlung Simon Marschall / Knjiga Meki uvez
common.buy 56.21 €
Santa Biblia/ Holy Bible David Stoop / Knjiga Meki uvez
common.buy 26.59 €

This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Checking Software, SPIN 2009, held in Grenoble, France, in June 2009.§The 15 revised full papers presented together with 3 tool papers and 4 invited talks were carefully reviewed and selected from 41 submissions. The papers cover theoretical and algorithmic foundations as well as tools for software model checking by addressing theoretical advances and empirical evaluations related to state-space and path exploration techniques, as implemented in software verification tools.

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 Model Checking Software
Autor Corina S. Pasareanu
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2009
Broj stranica 297
EAN 9783642026515
ISBN 3642026516
Libristo kod 01650022
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 474
Dimenzije 155 x 235 x 17

Kategorija

Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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

Swinger Collection 1 Terri J Pedersen / Knjiga Meki uvez
common.buy 10.23 €
Handbook of Food Science and Technology 3 - Food Biochemistry and Technology Romain Jeantet / Knjiga Tvrdi uvez
common.buy 168.44 €
Two Saints & a Lot of Us Sinners Tbd / Knjiga Meki uvez
common.buy 18.86 €
Door Wide Open: A Beat Love Affair in Letters, 1957-1958 Jack Kerouac / Knjiga Meki uvez
common.buy 22.58 €
Letter from Point Clear Dennis McFarland / Knjiga Meki uvez
common.buy 20.07 €
Embattled Shrine: Jamestown in the Civil War David Riggs / Knjiga Meki uvez
common.buy 17.76 €
A Commentary on St. Paul's Second Epistle to the Thessalonians Alfred Plummer / Knjiga Meki uvez
common.buy 23.08 €
The Virginia Military Institute: Its Building and Rebuilding (1912) Francis Henney Smith / Knjiga Tvrdi uvez
common.buy 44.56 €
Divergence Charles Sheffield / Audio knjiga MP3
common.buy 19.06 €
World Regional Geography (International Edition) Lydia Mihelic Pulsipher / E-knjiga Adobe ePub DRM
common.buy 63.34 €
Tattoo Flash Colouring Book Megamunden / Knjiga Meki uvez
common.buy 21.67 €
This Is the Nest That Robin Built Denise Fleming / Knjiga Tvrdi uvez
common.buy 15.65 €
Sense and Sensibility Jane Austen / E-knjiga Adobe ePub DRM
common.buy 9.83 €
Unspeakable Failures of David Foster Wallace Clare Hayes-Brady / Knjiga Tvrdi uvez
common.buy 180.99 €
Physics of the Life Sciences Jay Newman / Knjiga Meki uvez
common.buy 86.93 €
Swann's Way: In Search of Lost Time #1 Proust Marcel / Knjiga Meki uvez
common.buy 20.17 €
Dagger John John (The Nightingale-Bamford School) Loughery / Knjiga Tvrdi uvez
common.buy 25.09 €
Catalogue of Type Specimens of Fossil Fishes in the Field Museum of Natural History Volume Fieldiana, Geology, New Series, No. 23 John Clay Bruner / Knjiga Tvrdi uvez
common.buy 29.50 €
Ten Poems for a Picnic Jacqueline Gabbitas / Knjiga Meki uvez
common.buy 7.52 €
Top-Down Causation and Emergence Jan Voosholz / Knjiga Meki uvez
common.buy 145.86 €
Phenomenology of Pentecostal Leadership Truls Akerlund / Knjiga Tvrdi uvez
common.buy 35.33 €
Captivating Kanji: Coloring Book for Adults Featuring Oriental Designs with Japanese Kanji, Eastern Words (Amazing Color Art) Michelle Brubaker / Knjiga Meki uvez
common.buy 10.23 €
Teachers Who Love Teaching Teach Children to Love Learning Eve Emelia / Knjiga Meki uvez
common.buy 7.62 €
The Last of the Mohicans: Leatherstocking Tales #2 James Fenimore Cooper / Knjiga Meki uvez
common.buy 16.65 €

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?