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

Formal Techniques in Real-Time and Fault-Tolerant Systems

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Techniques in Real-Time and Fault-Tolerant Systems Bengt Jonsson
Код Либристо: 05274613
Издателство Springer, Berlin, ноември 1995
This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Tec... Цялото описание
? points 164 b
128.20 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

El heroe discreto / The Discreet Hero Mario Vargas Llosa / С меки корици
common.buy 26.62 лв
Das BGB für ausländische Studierende - Übungen zu Rechtssprache und Methodik Susan Lippmann / С меки корици
common.buy 68.89 лв
1.Outside (The Nathan Adler Diaries:A Hyper Cycle) / Аудио компактдиск
common.buy 28.84 лв
Email English Paul Emmerson / С меки корици
common.buy 90.17 лв
Max Frisch 'Biedermann und die Brandstifter' Max Frisch / С меки корици
common.buy 17.64 лв
Feminist Interpretations of Derrida Nancy J. Holland / С меки корици
common.buy 68.79 лв
Nonlinear and Adaptive Control of Complex Systems A. L. Fradkov / С меки корици
common.buy 252.78 лв
AI '88 Christopher J. Barter / С меки корици
common.buy 128.20 лв
Advances in Inequalities for Special Functions / С твърди корици
common.buy 299.18 лв
Preserving Ethnicity through Religion in America Pyong Gap Min / С меки корици
common.buy 80.69 лв
Destiny Personal Application Guide T D Jakes / С меки корици
common.buy 26.72 лв
Du Principe de l'Autorite Et de Son Retablissement En France (Troisieme Edition Revue Et Augmentee) Grimaud De Caux-G / С меки корици
common.buy 30.45 лв
American Commando: Evans Carlson, His WWII Marine Raiders, and America's First Special Forces Mission John Wukovits / С меки корици
common.buy 45.38 лв
Examinatorium BGB Allgemeiner Teil Thomas Riehm / С меки корици
common.buy 57.49 лв

This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September 1996.The 22 revised full papers presented were selected from a total of 61 submissions; also included are three invited contributions and five tools demonstrations. The papers are organized in sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification.

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

Пълно заглавие Formal Techniques in Real-Time and Fault-Tolerant Systems
Автор Bengt Jonsson, Joachim Parrow
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1996
Брой страници 490
Баркод 9783540616481
ISBN 3540616489
Код Либристо 05274613
Издателство Springer, Berlin
Тегло 643
Размери 156 x 234 x 25

Категории

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Databases > Data capture & analysis
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 Книгата ще пристигне на адреса на получателя

Вход

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

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

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

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

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