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 Kurier 12.99 zł Punkt DPD 11.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
223.38 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Comunidad Terapeutica Psicoanalitica de Estructura Multifamiliar oder Escuela de Familia Christina Keim / Książka Miękka
common.buy 185.09 zł
Einf hrung in Die Sprachheilkunde J. Berendes / Książka Miękka
common.buy 208.84 zł
Eine Liebeserklärung an das Ruhrgebiet Clara Hofmann / Książka Miękka
common.buy 39.51 zł
Fonti normative francescane Roberto Lambertini / Książka Książka
common.buy 364.04 zł
Panorama estratégico, 2006/2007 / Książka Miękka
common.buy 35.00 zł
Azúcar e intervención económica en España Martín Rodríguez / Książka Miękka
common.buy 99.50 zł
benandanti. Una storia senza tempo Floreana Nativo / Książka Miękka
common.buy 48.41 zł
Lehrbuch der Experimentalphysik / Książka Twarda
common.buy 384.21 zł
Das inoffizielle Wednesday Zeichnen- und Kreativ-Buch Gecko Keck / Książka Miękka
common.buy 51.59 zł
La lucha continúa Tonya Sipes / Książka Miękka
common.buy 36.85 zł
Auswirkungen von Bodenbearbeitung und Mulchen auf den Ertrag von Mais Muhammad Ramzan / Książka Miękka
common.buy 211.70 zł
10 Dinge, die autistische Kinder ihren Eltern sagen möchten Ellen Notbohm / Książka Miękka
common.buy 85.37 zł
Boko Haram : les mots d'une crise Henri Mbarkoutou Mahamat / Książka Miękka
common.buy 77.90 zł
Lodz w PRL-u Ewa Niedzwiecka / Książka Twarda
common.buy 79.02 zł
Příběhy z temné komory Günter Grass / Książka Twarda
common.buy 39.10 zł
Handbuch der arabischen Dialekte Wolfdietrich Fischer / Książka Miękka
common.buy 200.34 zł
Das Geräusch einer Schnecke beim Essen Elisabeth Tova Bailey / Książka Miękka
common.buy 47.39 zł
Kärntner Auftragsvergabegesetz Michaela Schabus / Książka Miękka
common.buy 130.83 zł
Klassische Boersenstrategien im Test Daniel Ruppert / Książka Miękka
common.buy 173.72 zł
Internationale Hölderlin-Bibliographie / 1995-1996. II Materialband Werner P. Sohnle / Książka Twarda
common.buy 269.86 zł
Prakticheskij Russkij Yazyk v Situatsiyakh i Illyustratsiyakh G.G. Malyshev / Książka Miękka
common.buy 217.44 zł
Werbeagenturen in der Politikvermittlung Simon Marschall / Książka Miękka
common.buy 259.10 zł
Santa Biblia/ Holy Bible David Stoop / Książka Miękka
common.buy 115.98 zł
Zapowiedź
Písanka 2 k Českému jazyku pro 2. ročník / Książka Miękka
common.buy 11.05 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ć

Swann's Way: In Search of Lost Time #1 Proust Marcel / Książka Miękka
common.buy 87.93 zł
Unspeakable Failures of David Foster Wallace Clare Hayes-Brady / Książka Twarda
common.buy 749.29 zł
Handbook of Food Science and Technology 3 - Food Biochemistry and Technology Romain Jeantet / Książka Twarda
common.buy 733.93 zł
Door Wide Open: A Beat Love Affair in Letters, 1957-1958 Jack Kerouac / Książka Miękka
common.buy 98.48 zł
Letter from Point Clear Dennis McFarland / Książka Miękka
common.buy 87.42 zł
Embattled Shrine: Jamestown in the Civil War David Riggs / Książka Miękka
common.buy 77.59 zł
Divergence Charles Sheffield / Audiobook MP3
common.buy 87.73 zł
World Regional Geography (International Edition) Lydia Mihelic Pulsipher / E-book Adobe ePub DRM
common.buy 290.33 zł
Sense and Sensibility Jane Austen / E-book Adobe ePub DRM
common.buy 40.33 zł
Tattoo Flash Colouring Book Megamunden / Książka Miękka
common.buy 103.60 zł
Swinger Collection 1 Terri J Pedersen / Książka Miękka
common.buy 44.63 zł
Physics of the Life Sciences Jay Newman / Książka Miękka
common.buy 378.68 zł
Dagger John John (The Nightingale-Bamford School) Loughery / Książka Twarda
common.buy 109.33 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 128.68 zł
Ten Poems for a Picnic Jacqueline Gabbitas / Książka Miękka
common.buy 33.06 zł
Phenomenology of Pentecostal Leadership Truls Akerlund / Książka Twarda
common.buy 154.07 zł
Captivating Kanji: Coloring Book for Adults Featuring Oriental Designs with Japanese Kanji, Eastern Words (Amazing Color Art) Michelle Brubaker / Książka Miękka
common.buy 44.63 zł
Teachers Who Love Teaching Teach Children to Love Learning Eve Emelia / Książka Miękka
common.buy 33.06 zł
How to Be a Freelance Solicitor PAUL BENNETT / Książka Miękka
common.buy 220.82 zł
Manlihood: The 12 Pillars of Masculinity Kelsey Boudin / Książka Miękka
common.buy 64.18 zł
The Last of the Mohicans: Leatherstocking Tales #2 James Fenimore Cooper / Książka Miękka
common.buy 72.58 zł
The Virginia Military Institute: Its Building and Rebuilding (1912) Francis Henney Smith / Książka Twarda
common.buy 194.10 zł
Two Saints & a Lot of Us Sinners Tbd / Książka Miękka
common.buy 81.99 zł
A Practical Treatise on Diseases of the Skin, for the Use of Students and Practitioners James Nevins Hyde / Książka Miękka
common.buy 132.77 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?