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

Unfoldings

A Partial-Order Approach to Model Checking

Език Английски езикАнглийски език
Книга С меки корици
Книга Unfoldings Javier Esparza
Код Либристо: 01654485
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ноември 2010
In this book the authors introduce unfoldings, an approach to model checking which alleviates the st... Цялото описание
? points 263 b
108.42 €
212.06  лв
Външен склад Изпращаме след 5-8 дни

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

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

Problema smysla zhizni i sowremennost' / Книга С меки корици
common.buy 74.38 € 145.48 лв
Robinson Crusoe Daniel Defoe / Книга С меки корици
common.buy 9.71 € 18.98 лв
Leipziger Lehrausflüge Kurt Krause / Книга С твърди корици
common.buy 36.31 € 71.02 лв
Unti JA Picture Book - Inteli Bruno Jacob / Книга С твърди корици
common.buy 14.87 € 29.09 лв
St Porphyry of Kausokalyvia, the Secret Is Being Thankful: An Anthology of St Porphyry's Speeches, with an Introduction and Comments by George Valsami George Valsamis / Книга С меки корици
common.buy 13.06 € 25.55 лв
Trina Klaus Groth / Книга С меки корици
common.buy 20.86 € 40.81 лв
Dementia Jonathan Schmitt / Книга С меки корици
common.buy 12.50 € 24.44 лв
Le sinfonie di Beethoven. Una visione artistica Lewis Lockwood / Книга С меки корици
common.buy 41.42 € 81.02 лв
Lambacher Schweizer Mathematik Einführungsphase. Ausgabe Hessen / Книга С меки корици
common.buy 29.28 € 57.28 лв
Sangre CLARA PEÑALVER / Книга С меки корици
common.buy 11.36 € 22.22 лв
Theatre Complet d'Alex. Dumas. Tome 13 Le Comte de Morcerf Alexandre Dumas / Книга С меки корици
common.buy 22.16 € 43.33 лв
Qualidade de vida e auto estima apos mamoplastia redutora Almendros Mello Arnaldo / Книга С меки корици
common.buy 22.72 € 44.44 лв
Die illustrierte Apokalypse Heinrichs von Hesler im Deutschen Orden Sabine Jagodzinski / Книга С меки корици
common.buy 35.69 € 69.80 лв
Zum Bedeutungsverlust formaler Standardisierung fur die Marktrelevanz von Audio-Standards zur Online-Distribution Werner Otto / Книга С меки корици
common.buy 49.95 € 97.69 лв

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer an introduction to the basics of the method and detail an unfolding-based algorithm for model checking concurrent systems against properties specified as formulas of linear temporal logic (LTL). The book will be of value to researchers and graduate students engaged in automatic verification and concurrency theory.

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

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

Пълно заглавие Unfoldings
Автор Javier Esparza, Keijo Heljanko
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2010
Брой страници 172
Баркод 9783642096051
ISBN 3642096050
Код Либристо 01654485
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 290
Размери 155 x 235 x 9

Категории

Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Sidetracked Allan Michael Hardin / Книга С меки корици
common.buy 11.31 € 22.12 лв
Economics of Green Growth Shunsuke Managi / Книга С меки корици
common.buy 69.94 € 136.79 лв
Top
Witch Hat Atelier 5 Kamome Shirahama / Книга С меки корици
common.buy 10.64 € 20.80 лв
Objectivity in Science Flavia Padovani / Книга С меки корици
common.buy 119.27 € 233.28 лв
Documentary History of Dunmore's War, 1774 Reuben Gold Thwaites / Книга С меки корици
common.buy 41.01 € 80.21 лв
Jane Austen's Popular and Critical Reputation Joan Klingel Ray / Книга С твърди корици
common.buy 610.53 € 1 194.10 лв
Daughters of Disaster Amanda L Rautio / Книга С твърди корици
common.buy 41.06 € 80.31 лв
Man Who Educated a Horse (a Pioneer in Humane Education) Essie Mott Lee / Книга С меки корици
common.buy 16.84 € 32.93 лв
Animals, Politics and Morality Robert Garner / Книга С твърди корици
common.buy 110.23 € 215.59 лв
World War Ii: 365 Days Margaret E. Wagner / Книга С твърди корици
common.buy 24.07 € 47.07 лв
Art of Gluten-Free Living Wilson / Книга С меки корици
common.buy 14.36 € 28.08 лв
Top
Good Inside Becky Kennedy / Книга С меки корици
common.buy 15.08 € 29.49 лв
At the Crossroads Harriet T. (Harriet Theresa) Comstock / Книга С твърди корици
common.buy 23.65 € 46.26 лв

Вход

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

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

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

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

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