Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Model Checking Software

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

Język AngielskiAngielski
Książka Miękka
Książka Model Checking Software Corina S. Pasareanu
Kod Libristo: 01650022
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, czerwiec 2009
This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Chec... Cały opis
? points 125 b
218.99 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Comunidad Terapeutica Psicoanalitica de Estructura Multifamiliar oder Escuela de Familia Christina Keim / Książka Miękka
common.buy 181.66 zł
Einf hrung in Die Sprachheilkunde J. Berendes / Książka Miękka
common.buy 204.74 zł
10 Dinge, die autistische Kinder ihren Eltern sagen möchten Ellen Notbohm / Książka Miękka
common.buy 83.70 zł
OEuvres De Moli?re: Les Facheux, Comédie. L'école Des Femmes, Comédie. L'impromptu De Versailles, Comédie Molire / Książka Miękka
common.buy 157.27 zł
Azúcar e intervención económica en España Martín Rodríguez / Książka Miękka
common.buy 107.58 zł
Panorama estratégico, 2006/2007 / Książka Miękka
common.buy 38.23 zł
Fonti normative francescane Roberto Lambertini / Książka Książka
common.buy 357.20 zł
benandanti. Una storia senza tempo Floreana Nativo / Książka Miękka
common.buy 47.87 zł
Handbuch der arabischen Dialekte Wolfdietrich Fischer / Książka Miękka
common.buy 196.41 zł
Santa Biblia/ Holy Bible David Stoop / Książka Miękka
common.buy 113.71 zł
Auswirkungen von Bodenbearbeitung und Mulchen auf den Ertrag von Mais Muhammad Ramzan / Książka Miękka
common.buy 207.55 zł
Das inoffizielle Wednesday Zeichnen- und Kreativ-Buch Gecko Keck / Książka Miękka
common.buy 50.57 zł
Eine Liebeserklärung an das Ruhrgebiet Clara Hofmann / Książka Miękka
common.buy 38.73 zł
Lehrbuch der Experimentalphysik / Książka Twarda
common.buy 376.67 zł
Příběhy z temné komory Günter Grass / Książka Twarda
common.buy 38.33 zł
Boko Haram : les mots d'une crise Henri Mbarkoutou Mahamat / Książka Miękka
common.buy 76.37 zł
TOP
Písanka 2 k Českému jazyku pro 2. ročník / Książka Miękka
common.buy 10.83 zł
Monsenor Dupanloup: Episodio De La Historia Contemporanea De 1845 A 1875 (1876) Victor Pelletier / Książka Miękka
common.buy 109.99 zł
Anticuerpos monoclonales : realidades y perspectivas Álvarez-Vallina / Książka Miękka
common.buy 200.22 zł
Kärntner Auftragsvergabegesetz Michaela Schabus / Książka Miękka
common.buy 128.36 zł
Klassische Boersenstrategien im Test Daniel Ruppert / Książka Miękka
common.buy 170.31 zł
Hüzünlü Vagonlar Deniz Soganci / Książka Miękka
common.buy 51.68 zł
Todesherz Karen Rose / Książka Miękka
common.buy 87.61 zł
Políticas focalizadas de transferência de renda: contextos e BARBARA COBO / Książka Książka
common.buy 118.72 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Model Checking Software
Autor Corina S. Pasareanu
Język Angielski
Oprawa Książka - Miękka
Data wydania 2009
Liczba stron 297
EAN 9783642026515
ISBN 3642026516
Kod Libristo 01650022
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 474
Wymiary 155 x 235 x 17

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania > Testowanie i weryfikacja oprogramowania
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Teachers Who Love Teaching Teach Children to Love Learning Eve Emelia / Książka Miękka
common.buy 32.41 zł
Handbook of Food Science and Technology 3 - Food Biochemistry and Technology Romain Jeantet / Książka Twarda
common.buy 719.53 zł
Door Wide Open: A Beat Love Affair in Letters, 1957-1958 Jack Kerouac / Książka Miękka
common.buy 96.54 zł
Letter from Point Clear Dennis McFarland / Książka Miękka
common.buy 85.70 zł
Embattled Shrine: Jamestown in the Civil War David Riggs / Książka Miękka
common.buy 76.07 zł
Dagger John John (The Nightingale-Bamford School) Loughery / Książka Twarda
common.buy 107.18 zł
Catalogue of Type Specimens of Fossil Fishes in the Field Museum of Natural History Volume Fieldiana, Geology, New Series, No. 23 John Clay Bruner / Książka Twarda
common.buy 126.15 zł
Ten Poems for a Picnic Jacqueline Gabbitas / Książka Miękka
common.buy 32.41 zł
Phenomenology of Pentecostal Leadership Truls Akerlund / Książka Twarda
common.buy 151.04 zł
Swann's Way: In Search of Lost Time #1 Proust Marcel / Książka Miękka
common.buy 86.21 zł
How to Be a Freelance Solicitor PAUL BENNETT / Książka Miękka
common.buy 216.48 zł
Manlihood: The 12 Pillars of Masculinity Kelsey Boudin / Książka Miękka
common.buy 62.92 zł
The Last of the Mohicans: Leatherstocking Tales #2 James Fenimore Cooper / Książka Miękka
common.buy 71.15 zł
The Virginia Military Institute: Its Building and Rebuilding (1912) Francis Henney Smith / Książka Twarda
common.buy 190.29 zł
Two Saints & a Lot of Us Sinners Tbd / Książka Miękka
common.buy 80.39 zł
Sense and Sensibility Jane Austen / E-book Adobe ePub DRM
common.buy 39.54 zł
World Regional Geography (International Edition) Lydia Mihelic Pulsipher / E-book Adobe ePub DRM
common.buy 281.52 zł
Untold Story Monica Ali / Audiobook MP3
common.buy 110.90 zł
Color for Knowledge Walter the Educator / Książka Miękka
common.buy 85.30 zł
Covalent Counsel Anthony B Cosenza / Książka Miękka
common.buy 57.50 zł
Theatre and Museums Susan Bennett / Książka Miękka
common.buy 64.43 zł
Reperes Pratiques Guillaume Bernard / Książka Miękka
common.buy 69.85 zł
Philosophy of Human Hope J.J. Godfrey / Książka Twarda
common.buy 436.59 zł
Interstate Relations in Classical Greece Polly Low / Książka Twarda
common.buy 565.36 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?