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

Formal Modeling and Analysis of Timed Systems

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Modeling and Analysis of Timed Systems Eugene Asarin
Код Либристо: 01564776
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, септември 2006
This book constitutes the refereed proceedings of the 4th International Conference on Formal Modelin... Цялото описание
? points 164 b
128.23 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

Color John Rohrbach / С твърди корици
common.buy 170.30 лв
Der Böse steht noch einmal auf ... und andere Klischees aus Hollywood-Filmen Christian G. Salis / С меки корици
common.buy 25.01 лв
ESSperimente 3. Bd.3 Sieglinde Mertlitz / С твърди корици
common.buy 27.23 лв
Schulpastoral an berufsbildenden Schulen des dualen Schulsystems Markus Seibt / С меки корици
common.buy 63.96 лв
Unter Javas Tropensonne Louis Couperus / С меки корици
common.buy 63.86 лв
Umbruch der internationalen Leasingbilanzierung Matthias Wos / С меки корици
common.buy 84.84 лв
Lion Joseph Kessel / С меки корици
common.buy 24.81 лв
Unlikely Liberal Matthew Zencey / С твърди корици
common.buy 43.78 лв

This book constitutes the refereed proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2006. The book presents 22 revised full papers presented together with 3 invited talks. Coverage includes work on foundations and semantics of timed systems including timed automata, timed Petri nets, timed MSCs, hybrid automata, timed process algebra, timed temporal logics, timed abstract state machines, as well as probabilistic models.

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

Пълно заглавие Formal Modeling and Analysis of Timed Systems
Автор Eugene Asarin, Patricia Bouyer
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2006
Брой страници 372
Баркод 9783540450269
ISBN 3540450262
Код Либристо 01564776
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1200
Размери 155 x 235 x 21

Категории

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Mathematics & Science > Mathematics > Applied mathematics
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 > Computer architecture & logic design
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

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

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

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

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

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