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

Process Algebra and Probabilistic Methods. Performance Modelling and Verification

Език Английски езикАнглийски език
Книга С меки корици
Книга Process Algebra and Probabilistic Methods. Performance Modelling and Verification Luca de Alfaro
Код Либристо: 01563754
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, август 2001
This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performa... Цялото описание
? points 164 b
128.23 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

Staré lásky Isaac Bashevis Singer / Книга
common.buy 17.34 лв
Harvesting the Biosphere Vaclav Smil / С твърди корици
common.buy 63.96 лв
Homo asapiens Rado Ondřejíček / С твърди корици
common.buy 19.87 лв
Sweeney Todd the Graphic Novel Original Text Clive Bryant / С меки корици
common.buy 22.99 лв
Permutation Groups Donald Passman / С меки корици
common.buy 39.24 лв
Bedeutung gesundheitswissenschaftlicher Zusammenhange fur die praktische Arbeit im Gesundheitswesen dargestellt anhand eines Praxisbeispiels Jean-Claude Balanck / С меки корици
common.buy 36.51 лв
Notes and Observations on the Ionian Islands and Malta John Davy / С меки корици
common.buy 138.52 лв
Futterungsversuch an Ziegen Mit Ammoniumacetat, Harnstoff Und Hornmehl ALS Eiweissersatz Ernst Paasch / С меки корици
common.buy 139.53 лв
Political Theory and the Displacement of Politics Bonnie Honig / С меки корици
common.buy 96.45 лв
Französische Einflüsse auf die Staats- und Rechtsentwicklung Preußens im XIX. Jahrhundert. Ernst von Meier / С меки корици
common.buy 153.86 лв
Foundation Discrete Mathematics for Computing DEXTER J. BOOTH / С меки корици
common.buy 128.23 лв
Animal Models in Cardiovascular Research David Gross / С твърди корици
common.buy 388.85 лв

This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001.The 12 revised full papers presented together with one invited paper were carefully reviewed and selected from 23 submissions. Among the topics addressed are model representation, model checking, probabilistic systems analysis, refinement, Markov chains, random variables, stochastic timed systems, Max-Plus algebra, process algebra, system modeling, and the Mobius modeling framework.

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

Пълно заглавие Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Автор Luca de Alfaro, Stephen Gilmore
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2001
Брой страници 224
Баркод 9783540425564
ISBN 354042556X
Код Либристо 01563754
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 750
Размери 155 x 235 x 13

Категории

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Mathematics & Science > Mathematics > Applied mathematics > Stochastics
Mathematics & Science > Mathematics > Algebra
Mathematics & Science > Mathematics > Probability & statistics
Computing & Information Technology > Graphical & digital media applications > 3D graphics & modelling
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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

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

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

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

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

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