Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Model Checking Software

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Model Checking Software Corina S. Pasareanu
Libristo kód: 01650022
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červen 2009
This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Chec... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Comunidad Terapeutica Psicoanalitica de Estructura Multifamiliar oder Escuela de Familia Christina Keim / Kniha Brožovaná
common.buy 976 Kč
Einf hrung in Die Sprachheilkunde J. Berendes / Kniha Brožovaná
common.buy 1 105 Kč
Eine Liebeserklärung an das Ruhrgebiet Clara Hofmann / Kniha Brožovaná
common.buy 208 Kč
Fonti normative francescane Roberto Lambertini / Kniha Kniha
common.buy 2 142 Kč
Panorama estratégico, 2006/2007 / Kniha Brožovaná
common.buy 196 Kč
Azúcar e intervención económica en España Martín Rodríguez / Kniha Brožovaná
common.buy 557 Kč
benandanti. Una storia senza tempo Floreana Nativo / Kniha Brožovaná
common.buy 286 Kč
Lehrbuch der Experimentalphysik / Kniha Pevná
common.buy 2 024 Kč
Das inoffizielle Wednesday Zeichnen- und Kreativ-Buch Gecko Keck / Kniha Brožovaná
common.buy 271 Kč
La lucha continúa Tonya Sipes / Kniha Brožovaná
common.buy 195 Kč
Auswirkungen von Bodenbearbeitung und Mulchen auf den Ertrag von Mais Muhammad Ramzan / Kniha Brožovaná
common.buy 1 115 Kč
10 Dinge, die autistische Kinder ihren Eltern sagen möchten Ellen Notbohm / Kniha Brožovaná
common.buy 450 Kč
Boko Haram : les mots d'une crise Henri Mbarkoutou Mahamat / Kniha Brožovaná
common.buy 410 Kč
Lodz w PRL-u Ewa Niedzwiecka / Kniha Pevná
common.buy 502 Kč
Příběhy z temné komory Günter Grass / Kniha Pevná
common.buy 195 Kč
Handbuch der arabischen Dialekte Wolfdietrich Fischer / Kniha Brožovaná
common.buy 1 059 Kč
Das Geräusch einer Schnecke beim Essen Elisabeth Tova Bailey / Kniha Brožovaná
common.buy 265 Kč
Kärntner Auftragsvergabegesetz Michaela Schabus / Kniha Brožovaná
common.buy 732 Kč
Klassische Boersenstrategien im Test Daniel Ruppert / Kniha Brožovaná
common.buy 915 Kč
Internationale Hölderlin-Bibliographie / 1995-1996. II Materialband Werner P. Sohnle / Kniha Pevná
common.buy 1 510 Kč
Prakticheskij Russkij Yazyk v Situatsiyakh i Illyustratsiyakh G.G. Malyshev / Kniha Brožovaná
common.buy 1 217 Kč
Werbeagenturen in der Politikvermittlung Simon Marschall / Kniha Brožovaná
common.buy 1 450 Kč
Santa Biblia/ Holy Bible David Stoop / Kniha Brožovaná
common.buy 608 Kč
Připravujeme
Písanka 2 k Českému jazyku pro 2. ročník / Kniha Brožovaná
common.buy 62 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Model Checking Software
Autor Corina S. Pasareanu
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2009
Počet stran 297
EAN 9783642026515
ISBN 3642026516
Libristo kód 01650022
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 474
Rozměry 155 x 235 x 17

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství > Testování a verifikace softwaru
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Swann's Way: In Search of Lost Time #1 Proust Marcel / Kniha Brožovaná
common.buy 467 Kč
Unspeakable Failures of David Foster Wallace Clare Hayes-Brady / Kniha Pevná
common.buy 4 193 Kč
Handbook of Food Science and Technology 3 - Food Biochemistry and Technology Romain Jeantet / Kniha Pevná
common.buy 3 907 Kč
Door Wide Open: A Beat Love Affair in Letters, 1957-1958 Jack Kerouac / Kniha Brožovaná
common.buy 519 Kč
Letter from Point Clear Dennis McFarland / Kniha Brožovaná
common.buy 458 Kč
Embattled Shrine: Jamestown in the Civil War David Riggs / Kniha Brožovaná
common.buy 407 Kč
Divergence Charles Sheffield / Audiokniha MP3
common.buy 494 Kč
Untold Story Monica Ali / Audiokniha MP3
common.buy 644 Kč
World Regional Geography (International Edition) Lydia Mihelic Pulsipher / E-kniha Adobe ePub DRM
common.buy 1 635 Kč
Sense and Sensibility Jane Austen / E-kniha Adobe ePub DRM
common.buy 226 Kč
Tattoo Flash Colouring Book Megamunden / Kniha Brožovaná
common.buy 580 Kč
Swinger Collection 1 Terri J Pedersen / Kniha Brožovaná
common.buy 237 Kč
Physics of the Life Sciences Jay Newman / Kniha Brožovaná
common.buy 2 004 Kč
Dagger John John (The Nightingale-Bamford School) Loughery / Kniha Pevná
common.buy 574 Kč
Catalogue of Type Specimens of Fossil Fishes in the Field Museum of Natural History Volume Fieldiana, Geology, New Series, No. 23 John Clay Bruner / Kniha Pevná
common.buy 685 Kč
Ten Poems for a Picnic Jacqueline Gabbitas / Kniha Brožovaná
common.buy 172 Kč
Phenomenology of Pentecostal Leadership Truls Akerlund / Kniha Pevná
common.buy 809 Kč
Captivating Kanji: Coloring Book for Adults Featuring Oriental Designs with Japanese Kanji, Eastern Words (Amazing Color Art) Michelle Brubaker / Kniha Brožovaná
common.buy 237 Kč
Teachers Who Love Teaching Teach Children to Love Learning Eve Emelia / Kniha Brožovaná
common.buy 176 Kč
How to Be a Freelance Solicitor PAUL BENNETT / Kniha Brožovaná
common.buy 1 176 Kč
Manlihood: The 12 Pillars of Masculinity Kelsey Boudin / Kniha Brožovaná
common.buy 340 Kč
The Last of the Mohicans: Leatherstocking Tales #2 James Fenimore Cooper / Kniha Brožovaná
common.buy 385 Kč
The Virginia Military Institute: Its Building and Rebuilding (1912) Francis Henney Smith / Kniha Pevná
common.buy 1 033 Kč
Two Saints & a Lot of Us Sinners Tbd / Kniha Brožovaná
common.buy 440 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?