Проверка на състоянието на поръчката
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

14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

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

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

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

Grundlinien der Philosophie D. Fr. Ast / Книга С меки корици
common.buy 52.60 € 102.87 лв
Telekomunikácie pre 3. roč. SPŠ, 2. časť, ŠO elektrotechnika Stanislav Servátka / Книга С меки корици
common.buy 38.00 € 74.32 лв
Les 100 meilleures recettes pour mamans & papas pressés Solveig Darrigo-Dartinet / Книга С меки корици
common.buy 10.61 € 20.75 лв
Perception des etudiants universitaires a l'egard de leurs pairs handicapes Andrea Elisa Salas Hoyos / Книга С меки корици
common.buy 37.79 € 73.91 лв
LES PEINTURES Beeckman / Книга С меки корици
common.buy 11.90 € 23.28 лв
Top
Practice Makes Perfect: Basic German, Premium Second Edition Jolene Wochenske / Книга С меки корици
common.buy 14.91 € 29.15 лв
Ötanazi Okulu 1 Ciltli / Книга С меки корици
common.buy 21.22 € 41.51 лв
Top
Moć uspješnog poslovanja – Savršen recept za poslovni uspjeh Danny Meyer / Книга С меки корици
common.buy 24.38 € 47.68 лв
Pasta Masterclass Wiebke Krabbe / Книга С твърди корици
common.buy 26.87 € 52.55 лв
Familienmedizin in der hausärztlichen Versorgung der Zukunft Vera Kalitzkus / Книга С меки корици
common.buy 41.88 € 81.91 лв
Krevní banka Tanya Huffová / Книга С меки корици
common.buy 8.69 € 17.00 лв
Das Quiz für Besserwisser I ab 10 Jahren / Книга С твърди корици
common.buy 7.35 € 14.37 лв
LA SABIDURíA DE LAS AVES TIM BIRKHEAD / Книга С меки корици
common.buy 34.68 € 67.84 лв
Senzibil Markéta Pilátová / Книга С твърди корици
common.buy 12.68 € 24.80 лв
Tableau de la France en 1614, la France et la royauté avant Richelieu Gabriel Hanotaux / Книга С меки корици
common.buy 25.99 € 50.82 лв
Religiöses Leben und philosophische Selbstbestimmung Simone Fazzi / Книга С меки корици
common.buy 16.36 € 31.99 лв
Premium Touren. Ein schöner Tag wandern Ulrike Poller / Книга С меки корици
common.buy 18.74 € 36.65 лв
La historia de Ana Zeppelin: Tomo 1 Giselle Murillo / Книга С меки корици
common.buy 8.85 € 17.31 лв
Изгодно
Raphael und Pinturicchio in Siena August Schmarsow / Книга С меки корици
common.buy 1.55 € 3.03 лв
Sally y la maldición del rubí PULLMAN / Книга С меки корици
common.buy 8.43 € 16.50 лв
La psicología en la escuela Delval / Книга С меки корици
common.buy 19.05 € 37.25 лв
Datenmodellierung: Theorie und Praxis des Datenbankentwurfs Günther Vinek / Книга С меки корици
common.buy 55.96 € 109.46 лв

This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Checking Software, SPIN 2007, held in Berlin, Germany in July 2007 in conjunction with the 19th International Conference on Computer Aided Verification, CAV 2007.§The 14 revised full papers presented together with 4 tool presentation papers and the abstracts of 2 invited talks were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, as well as tool demonstrations.

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

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

Пълно заглавие Model Checking Software
Автор Dragan Bosnacki, Stefan Edelkamp
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2007
Брой страници 285
Баркод 9783540733690
ISBN 3540733698
Код Либристо 01568802
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 462
Размери 155 x 235 x 17

Категории

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

The Last Outbreak - DESPERATION - Book 3 (A Post-Apocalyptic Thriller) Jeff Olah / Книга С меки корици
common.buy 14.85 € 29.05 лв
Space Warfare in the 21st Century Joan Johnson-Freese / Книга С меки корици
common.buy 58.66 € 114.72 лв
First Man Simon Schwartz / Книга С твърди корици
common.buy 36.39 € 71.18 лв
Islam in Turkey Frances Hawker / Книга С меки корици
common.buy 8.38 € 16.39 лв
What You Really Need to Know for the Second Half of Life: Protect Your Family! Julieanne E. Steinbacher / Книга С меки корици
common.buy 12.89 € 25.20 лв
Facebook Marketing Guide for Beginners Steven Murphy / Книга С меки корици
common.buy 12.11 € 23.69 лв
Drug And Disease Free Michael Broder / Книга С меки корици
common.buy 9.94 € 19.43 лв
Ambivalent Internet - Mischief, Oddity, and Antagonism Online Ryan M. Milner / Книга С твърди корици
common.buy 77.14 € 150.87 лв
Around the World in 80 Days Jules Verne / Книга С меки корици
common.buy 7.86 € 15.38 лв
Top
Mercedes-Benz 190 Service And Repair Manual Haynes Publishing / Книга С меки корици
common.buy 38.05 € 74.42 лв
Jumbo the Elephant: The Life and Legacy of History's Most Famous Circus Animal Charles River Editors / Книга С меки корици
common.buy 10.61 € 20.75 лв
LibreOffice 6.0 Writer Guide LibreOffice Documentation Team / Книга С меки корици
common.buy 32.25 € 63.08 лв
Durarara!!, Vol. 12 (light novel) Ryohgo Narita / Книга С меки корици
common.buy 14.75 € 28.85 лв
Handbook of Research on Microfinancial Impacts on Women Empowerment, Poverty, and Inequality Ramesh Chandra / E-книга Adobe ePub DRM
common.buy 384.94 € 752.88 лв
Centroeuropa Vincente Luis Mora / Книга С меки корици
common.buy 12.68 € 24.80 лв
Clinical Oral Pathology Nabil Kochaji / Книга С твърди корици
common.buy 106.44 € 208.19 лв
Butch Heterosexuality in Black Caribbean Womanhood Marsha Myrie Obi / Книга С твърди корици
common.buy 77.35 € 151.28 лв
Deregulation of Network Industries Sam Peltzman / Книга С меки корици
common.buy 33.23 € 65.00 лв
Little Men Louisa May Alcott / Книга С меки корици
common.buy 11.54 € 22.57 лв
Braided Rivers: Process, Deposits, Ecology, Management Jim Best / Книга С меки корици
common.buy 188.71 € 369.09 лв
Swahili for Foreigners Alice Wanjiku Mangat / Книга С меки корици
common.buy 50.63 € 99.02 лв
Preaching the Tradition Rex Mason / Книга С меки корици
common.buy 48.15 € 94.16 лв
Contact! Bob Tuxford / Книга С твърди корици
common.buy 34.22 € 66.92 лв
MOD Richard Weight / Книга С меки корици
common.buy 17.13 € 33.51 лв

Вход

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

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

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

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

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