Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Model Checking Software

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

Език Английски езикАнглийски език
Книга С меки корици
Книга Model Checking Software Corina S. Pasareanu
Код Либристо: 01650022
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юни 2009
This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Chec... Цялото описание
? points 132 b
54.51 €
106.61  лв
Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Comunidad Terapeutica Psicoanalitica de Estructura Multifamiliar oder Escuela de Familia Christina Keim / Книга С меки корици
common.buy 45.44 € 88.87 лв
Einf hrung in Die Sprachheilkunde J. Berendes / Книга С меки корици
common.buy 50.98 € 99.71 лв
Eine Liebeserklärung an das Ruhrgebiet Clara Hofmann / Книга С меки корици
common.buy 9.68 € 18.94 лв
Fonti normative francescane Roberto Lambertini / Книга Книга
common.buy 93.06 € 182.01 лв
Panorama estratégico, 2006/2007 / Книга С меки корици
common.buy 8.13 € 15.90 лв
Azúcar e intervención económica en España Martín Rodríguez / Книга С меки корици
common.buy 23.05 € 45.09 лв
benandanti. Una storia senza tempo Floreana Nativo / Книга С меки корици
common.buy 12.43 € 24.31 лв
Lehrbuch der Experimentalphysik / Книга С твърди корици
common.buy 94.25 € 184.34 лв
Das inoffizielle Wednesday Zeichnen- und Kreativ-Buch Gecko Keck / Книга С меки корици
common.buy 12.69 € 24.82 лв
La lucha continúa Tonya Sipes / Книга С меки корици
common.buy 8.54 € 16.71 лв
Auswirkungen von Bodenbearbeitung und Mulchen auf den Ertrag von Mais Muhammad Ramzan / Книга С меки корици
common.buy 51.92 € 101.54 лв
10 Dinge, die autistische Kinder ihren Eltern sagen möchten Ellen Notbohm / Книга С меки корици
common.buy 20.98 € 41.04 лв
Boko Haram : les mots d'une crise Henri Mbarkoutou Mahamat / Книга С меки корици
common.buy 19.06 € 37.29 лв
Lodz w PRL-u Ewa Niedzwiecka / Книга С твърди корици
common.buy 22.02 € 43.06 лв
Příběhy z temné komory Günter Grass / Книга С твърди корици
common.buy 10.05 € 19.65 лв
Handbuch der arabischen Dialekte Wolfdietrich Fischer / Книга С меки корици
common.buy 48.96 € 95.76 лв
Das Geräusch einer Schnecke beim Essen Elisabeth Tova Bailey / Книга С меки корици
common.buy 10.98 € 21.48 лв
Kärntner Auftragsvergabegesetz Michaela Schabus / Книга С меки корици
common.buy 31.86 € 62.32 лв
Klassische Boersenstrategien im Test Daniel Ruppert / Книга С меки корици
common.buy 42.59 € 83.30 лв
Internationale Hölderlin-Bibliographie / 1995-1996. II Materialband Werner P. Sohnle / Книга С твърди корици
common.buy 65.65 € 128.40 лв
Prakticheskij Russkij Yazyk v Situatsiyakh i Illyustratsiyakh G.G. Malyshev / Книга С меки корици
common.buy 53.26 € 104.17 лв
Werbeagenturen in der Politikvermittlung Simon Marschall / Книга С меки корици
common.buy 63.16 € 123.53 лв
Santa Biblia/ Holy Bible David Stoop / Книга С меки корици
common.buy 26.89 € 52.59 лв
Подготвяме
Písanka 2 k Českému jazyku pro 2. ročník / Книга С меки корици
common.buy 2.59 € 5.06 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Model Checking Software
Автор Corina S. Pasareanu
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2009
Брой страници 297
Баркод 9783642026515
ISBN 3642026516
Код Либристо 01650022
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 474
Размери 155 x 235 x 17

Категории

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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Swann's Way: In Search of Lost Time #1 Proust Marcel / Книга С меки корици
common.buy 20.36 € 39.82 лв
Unspeakable Failures of David Foster Wallace Clare Hayes-Brady / Книга С твърди корици
common.buy 191.93 € 375.38 лв
Handbook of Food Science and Technology 3 - Food Biochemistry and Technology Romain Jeantet / Книга С твърди корици
common.buy 170.06 € 332.61 лв
Door Wide Open: A Beat Love Affair in Letters, 1957-1958 Jack Kerouac / Книга С меки корици
common.buy 22.79 € 44.58 лв
Letter from Point Clear Dennis McFarland / Книга С меки корици
common.buy 20.26 € 39.62 лв
Embattled Shrine: Jamestown in the Civil War David Riggs / Книга С меки корици
common.buy 17.98 € 35.16 лв
Divergence Charles Sheffield / Аудиокнига MP3
common.buy 21.40 € 41.85 лв
World Regional Geography (International Edition) Lydia Mihelic Pulsipher / E-книга Adobe ePub DRM
common.buy 70.36 € 137.62 лв
Sense and Sensibility Jane Austen / E-книга Adobe ePub DRM
common.buy 9.79 € 19.14 лв
Tattoo Flash Colouring Book Megamunden / Книга С меки корици
common.buy 25.02 € 48.94 лв
Swinger Collection 1 Terri J Pedersen / Книга С меки корици
common.buy 10.36 € 20.26 лв
Physics of the Life Sciences Jay Newman / Книга С меки корици
common.buy 92.49 € 180.89 лв
Dagger John John (The Nightingale-Bamford School) Loughery / Книга С твърди корици
common.buy 25.33 € 49.55 лв
Catalogue of Type Specimens of Fossil Fishes in the Field Museum of Natural History Volume Fieldiana, Geology, New Series, No. 23 John Clay Bruner / Книга С твърди корици
common.buy 29.79 € 58.26 лв
Ten Poems for a Picnic Jacqueline Gabbitas / Книга С меки корици
common.buy 8.13 € 15.90 лв
Phenomenology of Pentecostal Leadership Truls Akerlund / Книга С твърди корици
common.buy 35.70 € 69.82 лв
Captivating Kanji: Coloring Book for Adults Featuring Oriental Designs with Japanese Kanji, Eastern Words (Amazing Color Art) Michelle Brubaker / Книга С меки корици
common.buy 10.36 € 20.26 лв
Teachers Who Love Teaching Teach Children to Love Learning Eve Emelia / Книга С меки корици
common.buy 7.66 € 14.99 лв
How to Be a Freelance Solicitor PAUL BENNETT / Книга С меки корици
common.buy 51.19 € 100.12 лв
Manlihood: The 12 Pillars of Masculinity Kelsey Boudin / Книга С меки корици
common.buy 14.87 € 29.08 лв
The Last of the Mohicans: Leatherstocking Tales #2 James Fenimore Cooper / Книга С меки корици
common.buy 16.78 € 32.83 лв
The Virginia Military Institute: Its Building and Rebuilding (1912) Francis Henney Smith / Книга С твърди корици
common.buy 44.97 € 87.96 лв
Two Saints & a Lot of Us Sinners Tbd / Книга С меки корици
common.buy 19.01 € 37.18 лв
A Practical Treatise on Diseases of the Skin, for the Use of Students and Practitioners James Nevins Hyde / Книга С меки корици
common.buy 30.77 € 60.19 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?