Проверка на състоянието на поръчката
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Как се пазарува?
Над 10 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 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
107.89 €
211.02  лв
Външен склад Изпращаме след 5-8 дни

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

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

Assistenza infermieristica psichiatrica forense e sistema giudiziario penale Eman Mohamed I. M. El-Genady / Книга С меки корици
common.buy 57.10 € 111.69 лв
Vortex Benning / Книга С меки корици
common.buy 14.08 € 27.54 лв
Robinson Crusoe Daniel Defoe / Книга С меки корици
common.buy 9.66 € 18.90 лв
Sangre CLARA PEÑALVER / Книга С меки корици
common.buy 11.15 € 21.81 лв
ENSENADA ET SON TEMPS BOUVIER RENE Книга binding.
common.buy 17.22 € 33.67 лв
Unti JA Picture Book - Inteli Bruno Jacob / Книга С твърди корици
common.buy 19.07 € 37.29 лв
Problema smysla zhizni i sowremennost' / Книга С меки корици
common.buy 73.99 € 144.72 лв
Gothofredi Guillelmi Leibnitii ... Opera Omnia: Nunc Primum Collecta, In Classes Distributa, Praefationibus Et Indicibus Exornata; Volume 2 Louis Dutens / Книга С меки корици
common.buy 33.30 € 65.14 лв
Spacer po Warszawie Mateusz Kaczyński / Книга С меки корици
common.buy 7.81 € 15.27 лв
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.26 € 25.93 лв
Trina Klaus Groth / Книга С меки корици
common.buy 20.71 € 40.51 лв
Dementia Jonathan Schmitt / Книга С меки корици
common.buy 12.38 € 24.22 лв
Le sinfonie di Beethoven. Una visione artistica Lewis Lockwood / Книга С меки корици
common.buy 41.24 € 80.65 лв
Nibelunge Not mit den Abweichungen von der Nibelunge Liet Bartsch Karl Bartsch / Книга С меки корици
common.buy 29.14 € 56.99 лв
Lambacher Schweizer Mathematik Einführungsphase. Ausgabe Hessen / Книга С меки корици
common.buy 29.19 € 57.09 лв
Vom Chaos zur Endophysik Florian Rötzer / Книга С меки корици
common.buy 45.09 € 88.20 лв
Theatre Complet d'Alex. Dumas. Tome 13 Le Comte de Morcerf Alexandre Dumas / Книга С меки корици
common.buy 22.61 € 44.23 лв
Oeuvres de Voltaire 51-52, 54-70. Correspondance. T. 63 (Ed.1830-1834) Voltaire / Книга С меки корици
common.buy 37.88 € 74.09 лв
Qualidade de vida e auto estima apos mamoplastia redutora Almendros Mello Arnaldo / Книга С меки корици
common.buy 22.61 € 44.23 лв
Die illustrierte Apokalypse Heinrichs von Hesler im Deutschen Orden Sabine Jagodzinski / Книга С меки корици
common.buy 35.26 € 68.96 лв
Zum Bedeutungsverlust formaler Standardisierung fur die Marktrelevanz von Audio-Standards zur Online-Distribution Werner Otto / Книга С меки корици
common.buy 49.72 € 97.25 лв

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 Книгата ще пристигне на адреса на получателя

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

High Frequency Acoustics in Colloid-Based Meso- and Nanostructures by Spontaneous Brillouin Light Scattering Tim Still / Книга С твърди корици
common.buy 107.89 € 211.02 лв
Objectivity in Science Flavia Padovani / Книга С меки корици
common.buy 118.69 € 232.13 лв
John Pinkowski, Petitioner, V. Ralph Coglay, Doing Business as Mohawk Equipment Company. U.S. Supreme Court Transcript of Record with Supporting Plead Richard E Mueller / Книга С меки корици
common.buy 22.10 € 43.22 лв
Man Who Educated a Horse (a Pioneer in Humane Education) Essie Mott Lee / Книга С меки корици
common.buy 15.83 € 30.95 лв
Ghost of the Pirate Mermaid George J Guerin / Книга С меки корици
common.buy 19.73 € 38.60 лв
Castrato Robert C Novarro / Книга С твърди корици
common.buy 30.37 € 59.41 лв
Heroism and the Supernatural in the African Epic Mariam Konate Deme / Книга С меки корици
common.buy 79.98 € 156.42 лв
Daughters of Disaster Amanda L Rautio / Книга С твърди корици
common.buy 40.40 € 79.01 лв
Jane Austen's Popular and Critical Reputation Joan Klingel Ray / Книга С твърди корици
common.buy 608.90 € 1 190.91 лв
Top
Good Inside Becky Kennedy / Книга С меки корици
common.buy 15.42 € 30.15 лв
Essays On Various Subjects, Religious And Moral V1: The Practical Application Of Their Principles To The State Of Man In Society (1821) Alexander Watson / Книга С меки корици
common.buy 43.89 € 85.85 лв
Documentary History of Dunmore's War, 1774 Reuben Gold Thwaites / Книга С меки корици
common.buy 41.94 € 82.03 лв
Economics of Green Growth Shunsuke Managi / Книга С меки корици
common.buy 74.68 € 146.07 лв
The Sufferings of John Coustos for Freemasonry and for His Refusing to Turn Roman Catholic in the Inquisition at Lisbon John Coustos / Книга С меки корици
common.buy 42.92 € 83.94 лв
Migrant Marketplaces Elizabeth Zanoni / Книга С меки корици
common.buy 37.73 € 73.78 лв
(Almost) Impossible Integrals, Sums, and Series Cornel Ioan Valean / Книга С твърди корици
common.buy 84.55 € 165.37 лв
Top
Witch Hat Atelier 5 Kamome Shirahama / Книга С меки корици
common.buy 11.46 € 22.41 лв
A Modern Cinderella / Книга С меки корици
common.buy 16.86 € 32.97 лв
At the Crossroads Harriet T. (Harriet Theresa) Comstock / Книга С твърди корици
common.buy 23.54 € 46.04 лв
Top
Ceramic Glazes Brian Taylor / Книга С твърди корици
common.buy 61.68 € 120.63 лв
Art of Gluten-Free Living Wilson / Книга С меки корици
common.buy 13.82 € 27.03 лв
Подготвяме
Negotiating Difference Michael Awkward / Книга С твърди корици
common.buy 115.70 € 226.30 лв
Sidetracked Allan Michael Hardin / Книга С меки корици
common.buy 11.56 € 22.61 лв
Trauma - Culture, Meaning and Philosophy Patrick J. Bracken / Книга С меки корици
common.buy 70.47 € 137.83 лв

Вход

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

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

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

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

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