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 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

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.75 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Comunidad Terapeutica Psicoanalitica de Estructura Multifamiliar oder Escuela de Familia Christina Keim / Knjiga Meki uvez
common.buy 42.93 €
Einf hrung in Die Sprachheilkunde J. Berendes / Knjiga Meki uvez
common.buy 48.40 €
10 Dinge, die autistische Kinder ihren Eltern sagen möchten Ellen Notbohm / Knjiga Meki uvez
common.buy 19.74 €
OEuvres De Moli?re: Les Facheux, Comédie. L'école Des Femmes, Comédie. L'impromptu De Versailles, Comédie Molire / Knjiga Meki uvez
common.buy 37.16 €
Azúcar e intervención económica en España Martín Rodríguez / Knjiga Meki uvez
common.buy 24.20 €
Panorama estratégico, 2006/2007 / Knjiga Meki uvez
common.buy 8.60 €
Fonti normative francescane Roberto Lambertini / Knjiga Knjiga
common.buy 84.36 €
benandanti. Una storia senza tempo Floreana Nativo / Knjiga Meki uvez
common.buy 11.33 €
Handbuch der arabischen Dialekte Wolfdietrich Fischer / Knjiga Meki uvez
common.buy 46.38 €
Santa Biblia/ Holy Bible David Stoop / Knjiga Meki uvez
common.buy 26.83 €
Auswirkungen von Bodenbearbeitung und Mulchen auf den Ertrag von Mais Muhammad Ramzan / Knjiga Meki uvez
common.buy 49.01 €
Das inoffizielle Wednesday Zeichnen- und Kreativ-Buch Gecko Keck / Knjiga Meki uvez
common.buy 11.94 €
Eine Liebeserklärung an das Ruhrgebiet Clara Hofmann / Knjiga Meki uvez
common.buy 9.11 €
Lehrbuch der Experimentalphysik / Knjiga Tvrdi uvez
common.buy 88.92 €
Příběhy z temné komory Günter Grass / Knjiga Tvrdi uvez
common.buy 9.00 €
Boko Haram : les mots d'une crise Henri Mbarkoutou Mahamat / Knjiga Meki uvez
common.buy 18.02 €
Top
Písanka 2 k Českému jazyku pro 2. ročník / Knjiga Meki uvez
common.buy 2.52 €
Monsenor Dupanloup: Episodio De La Historia Contemporanea De 1845 A 1875 (1876) Victor Pelletier / Knjiga Meki uvez
common.buy 26.02 €
Anticuerpos monoclonales : realidades y perspectivas Álvarez-Vallina / Knjiga Meki uvez
common.buy 45.36 €
Kärntner Auftragsvergabegesetz Michaela Schabus / Knjiga Meki uvez
common.buy 28.75 €
Klassische Boersenstrategien im Test Daniel Ruppert / Knjiga Meki uvez
common.buy 40.20 €
Hüzünlü Vagonlar Deniz Soganci / Knjiga Meki uvez
common.buy 12.24 €
Todesherz Karen Rose / Knjiga Meki uvez
common.buy 20.65 €
Políticas focalizadas de transferência de renda: contextos e BARBARA COBO / Knjiga Knjiga
common.buy 26.63 €

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

Teachers Who Love Teaching Teach Children to Love Learning Eve Emelia / Knjiga Meki uvez
common.buy 7.69 €
Handbook of Food Science and Technology 3 - Food Biochemistry and Technology Romain Jeantet / Knjiga Tvrdi uvez
common.buy 169.94 €
Door Wide Open: A Beat Love Affair in Letters, 1957-1958 Jack Kerouac / Knjiga Meki uvez
common.buy 22.78 €
Letter from Point Clear Dennis McFarland / Knjiga Meki uvez
common.buy 20.25 €
Embattled Shrine: Jamestown in the Civil War David Riggs / Knjiga Meki uvez
common.buy 17.92 €
Dagger John John (The Nightingale-Bamford School) Loughery / Knjiga Tvrdi uvez
common.buy 25.31 €
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.77 €
Ten Poems for a Picnic Jacqueline Gabbitas / Knjiga Meki uvez
common.buy 7.69 €
Phenomenology of Pentecostal Leadership Truls Akerlund / Knjiga Tvrdi uvez
common.buy 35.64 €
Swann's Way: In Search of Lost Time #1 Proust Marcel / Knjiga Meki uvez
common.buy 20.35 €
How to Be a Freelance Solicitor PAUL BENNETT / Knjiga Meki uvez
common.buy 51.14 €
Manlihood: The 12 Pillars of Masculinity Kelsey Boudin / Knjiga Meki uvez
common.buy 14.88 €
The Last of the Mohicans: Leatherstocking Tales #2 James Fenimore Cooper / Knjiga Meki uvez
common.buy 16.80 €
The Virginia Military Institute: Its Building and Rebuilding (1912) Francis Henney Smith / Knjiga Tvrdi uvez
common.buy 44.96 €
Two Saints & a Lot of Us Sinners Tbd / Knjiga Meki uvez
common.buy 19.03 €
Sense and Sensibility Jane Austen / E-knjiga Adobe ePub DRM
common.buy 8.90 €
World Regional Geography (International Edition) Lydia Mihelic Pulsipher / E-knjiga Adobe ePub DRM
common.buy 63.60 €
Untold Story Monica Ali / Audio knjiga MP3
common.buy 24.80 €
Color for Knowledge Walter the Educator / Knjiga Meki uvez
common.buy 20.15 €
Covalent Counsel Anthony B Cosenza / Knjiga Meki uvez
common.buy 13.56 €
Theatre and Museums Susan Bennett / Knjiga Meki uvez
common.buy 15.18 €
Reperes Pratiques Guillaume Bernard / Knjiga Meki uvez
common.buy 15.79 €
Philosophy of Human Hope J.J. Godfrey / Knjiga Tvrdi uvez
common.buy 103.10 €
Interstate Relations in Classical Greece Polly Low / Knjiga Tvrdi uvez
common.buy 133.48 €

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