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

Partial-Order Methods for the Verification of Concurrent Systems

An Approach to the State-Explosion Problem

Език Английски езикАнглийски език
Книга С меки корици
Книга Partial-Order Methods for the Verification of Concurrent Systems Patrice Godefroid
Код Либристо: 05274545
Издателство Springer, Berlin, ноември 1995
This monograph is a revised version of the author's PhD thesis, submitted to the University of Liege... Цялото описание
? points 132 b
54.42 €
106.43  лв
Външен склад Изпращаме след 5-8 дни

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

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

Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Книга С меки корици
common.buy 7.08 € 13.85 лв
Wie lange, sag mir, ist der Zug schon fort James Baldwin / Книга С твърди корици
common.buy 26.58 € 52.00 лв
Amigurumi Pen Friends - Süße Tiere für Stifte, Federmäppchen und Co. häkeln Elham Ghasemi / Книга С твърди корици
common.buy 10.03 € 19.62 лв
MINERXIA POZO ANTONIO / Книга С меки корици
common.buy 16.50 € 32.27 лв
Les coloriages du dimanche 2024 année B SOPHIE DE BRISOULT / Книга Книга
common.buy 14.84 € 29.03 лв
Metody modifikacii svertochnogo kodirovaniya Petr Polushin / Книга С меки корици
common.buy 45.26 € 88.52 лв
Guide de conversation Italien 17ed Lonely Planet / Книга С меки корици
common.buy 11.84 € 23.16 лв
Historias para Leer en Lugar de Hacer la Tarea: Chiflado Lector 2017 a 2018 Wakii Reeder / E-книга Adobe ePub DRM
common.buy 5.06 € 9.91 лв
Top
A hobbit John Ronald Reuel Tolkien / Книга С твърди корици
common.buy 15.41 € 30.14 лв
Подготвяме
Der kleine Ritter Trenk, 1 Audio-CD Kirsten Boie / Аудио Аудио компактдиск
common.buy 11.48 € 22.45 лв
Grundriss Der Astronomie Bernhard Schwalbe / Книга С меки корици
common.buy 50.90 € 99.55 лв
Oeuvres de Boileau Despreaux: A l'Usage Des Colleges Et Des Ecoles Secondaires Nicolas Boileau Despreaux / Книга С меки корици
common.buy 22.19 € 43.40 лв
Recherches Sur Le Siege Et La Nature Des Teignes Rivoire-H-F / Книга С меки корици
common.buy 30.21 € 59.08 лв
In vitro-Studien zur Apoptose durch Rituximab Daniel Sommerlad / Книга С меки корици
common.buy 40.60 € 79.42 лв
Selbstkostenproblem in Der Kunstseidenindustrie H. Wilbert / Книга С меки корици
common.buy 55.92 € 109.36 лв
Ve stopách papeže Františka Alvaro Grammatica / Книга С меки корици
common.buy 5.27 € 10.31 лв
Dont worry, Be happy ! - tome 4 Kaori Hoshiya / Книга С меки корици
common.buy 11.22 € 21.95 лв
Prince Valiant Foster / Книга С меки корици
common.buy 17.79 € 34.80 лв
MON ENFANT M'ADORE PIGOZZI LAURA / Книга С меки корици
common.buy 17.89 € 35.00 лв
Antonio Seijo ANTONIO SEIJO / Книга С твърди корици
common.buy 85.40 € 167.04 лв
LE DROIT EUROPÉEN ET L'INVESTISSEMENT KASSEDJIAN C. Книга С меки корици
common.buy 32.79 € 64.14 лв
Historias de Usera Sanzol / Книга С меки корици
common.buy 21.10 € 41.27 лв
Odpady s?u?by zdrowia, czynniki ryzyka i dezynfekcja Eduardo Mota / Книга С меки корици
common.buy 37.76 € 73.85 лв

This monograph is a revised version of the author's PhD thesis, submitted to the University of Liege, Belgium, with Pierre Wolper as thesis advisor. The general pattern of this work is to turn logical and semantic ideas into exploitable algorithms.

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

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

Пълно заглавие Partial-Order Methods for the Verification of Concurrent Systems
Автор Patrice Godefroid
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1996
Брой страници 143
Баркод 9783540607618
ISBN 3540607617
Код Либристо 05274545
Издателство Springer, Berlin
Тегло 240
Размери 156 x 234 x 8

Категории

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Field Theory in Child and Adolescent Psychoanalysis MOLINARI / Книга С твърди корици
common.buy 212.36 € 415.33 лв
Desiree D D Hudson / Книга С меки корици
common.buy 15.77 € 30.85 лв
Close Encounters: Communicating in Relationships Laura K. Guerrero / Книга С меки корици
common.buy 89.13 € 174.32 лв
The Fembots Revolt B Cameron Lee / Книга С меки корици
common.buy 14.79 € 28.93 лв
Why Journalism Still Matters Michael Schudson / Книга С твърди корици
common.buy 73.35 € 143.46 лв
First Footsteps in East Africa or, an Exploration of Harar Burton / Книга С меки корици
common.buy 24.46 € 47.85 лв
AIDS to Family Government Bertha Meyer / Книга С меки корици
common.buy 22.76 € 44.51 лв
How to survive traveling in Australia: first-hand advice, anecdotes + warnings for young travelers Rainer Krauhs / Книга С меки корици
common.buy 10.34 € 20.23 лв
In His Name Phillip Rich / Книга С меки корици
common.buy 7.86 € 15.37 лв
Buildings of Arkansas Cyrus Sutherland / Книга С твърди корици
common.buy 112.46 € 219.95 лв
Organizations for People Michael O'Malley / Книга С твърди корици
common.buy 34.14 € 66.77 лв
Anne Sexton Diane Wood Middlebrook / Книга С меки корици
common.buy 18.77 € 36.72 лв
Theatre of Exile Horacio Czertok / Книга С меки корици
common.buy 60.42 € 118.17 лв
Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems, Volume 1 Hisashi Handa / Книга С твърди корици
common.buy 216.86 € 424.13 лв
Lanterns of the Soul Lynda Harris / Книга С меки корици
common.buy 16.50 € 32.27 лв
Demon Bloodline April Beaver / Книга С твърди корици
common.buy 29.79 € 58.27 лв
Economic Development in East Asia E.Stuart Kirby / Книга С твърди корици
common.buy 245.46 € 480.09 лв
Partial Eclipse T. Sanders / Книга С меки корици
common.buy 11.22 € 21.95 лв
Guide to New Jersey's Revolutionary War Trail Mark Dilonno / Книга С меки корици
common.buy 24.93 € 48.76 лв
Origami and Kirigami for the Home You / Книга С меки корици
common.buy 17.22 € 33.68 лв
Top
Bungo Stray Dogs, Vol. 26 Kafka Asagiri / Книга С меки корици
common.buy 11.22 € 21.95 лв
Systemic Theory of Knowledge Management Johannessen / Книга С твърди корици
common.buy 66.63 € 130.31 лв
Argo Zeus / Аудиокнига MP3
common.buy 15.93 € 31.15 лв
Why I Cook Colicchio / Книга С твърди корици
common.buy 26.84 € 52.50 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo