[email protected]
LIBRISTO 0
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв Speedy 13.00 лв ЕКОНТ 6.00 лв Еконтомат/Офис на Еконт 6.00 лв Box Now 6.00 лв
phone Контакт phoneКак се пазарува?

Partial-Order Methods for the Verification of Concurrent Systems

Език Английски езикАнглийски език
Книга С меки корици
Книга 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 164 b
128.20 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence David L. Dowe / С меки корици
common.buy 128.20 лв
Social Cage Alexandra Maryanski / С твърди корици
common.buy 156.34 лв
Action Numeracy Middle Primary Teacher Guide Christine Lenghaus / С меки корици
common.buy 128.30 лв
Psychiatric Manifestations of Neurotoxins, An Issue of Psychiatric Clinics Michael Dobbs / С твърди корици
common.buy 166.83 лв
Sandman's Goodnight Stories Abbie Phillips Walker / С твърди корици
common.buy 87.85 лв
ПОДГОТВЯМЕ
Der kleine Ritter Trenk, 1 Audio-CD Kirsten Boie / Аудио компактдиск
common.buy 22.99 лв
London's Underworld Thomas Holmes / С меки корици
common.buy 51.74 лв
Estuarine Morphodynamics of the Sunderbans Gautam Kumar Das / С твърди корици
common.buy 252.78 лв
In vitro-Studien zur Apoptose durch Rituximab Daniel Sommerlad / С меки корици
common.buy 116.80 лв
Moriah's Mourning and Other Half-Hour Sketches Ruth McEnery Stuart / С меки корици
common.buy 51.74 лв
RECENT DEVELOPMENTS IN MACROECONOMICS / С твърди корици
common.buy 1 547.99 лв
US Environmental Policy in Action Michelle C. Pautz / С меки корици
common.buy 139.50 лв
Selbstkostenproblem in Der Kunstseidenindustrie H. Wilbert / С меки корици
common.buy 139.50 лв
survey on John Steinbeck's The Grapes of Wrath Bernd Steiner / С меки корици
common.buy 82.10 лв
Data Processing for the AHP/ANP Gang Kou / С меки корици
common.buy 128.20 лв
A DANGEROUS MOURNING Anne Perry / С твърди корици
common.buy 38.12 лв

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.

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

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

Вход

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

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

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

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

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