info@libristo.bg
Ще ви отговорим до 24 часа
Безплатна доставка със Speedy над 129 лв
Box Now 9 лв
Speedy office 11 лв
Speedy 13 лв
ЕКОНТ 6 лв
Еконтомат/Офис на Еконт 6 лв
Контакт
Как се пазарува?
Помощ
Доставка
Box Now 9 лв
Speedy office 11 лв
Speedy 13 лв
ЕКОНТ 6 лв
Еконтомат/Офис на Еконт 6 лв
Безплатна доставка със Speedy над 129 лв
Наръчник за пазаруване
Тук сме за Вас!
info@libristo.bg
Моят акаунт
Станете част от общност от любители на книгите от цял свят и получавате много предимства.
Създай на безплатен акаунт
▸
Празна :-(
0
Formal Techniques in Real-Time and Fault-Tolerant Systems
Език
Английски език
Английски език
Книга
С меки корици
This book constitutes the refereed proceedings of the 6th International Symposium on Formal Techniqu...
Цялото описание
Код Либристо: 01563048
?
179 b
179 b
142
лв
Външен склад в ограничено количество
Изпращаме след 12-17 дни
30 дни за връщане на стоката
Може би ще Ви заинтересува
This book constitutes the refereed proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2000, held in Pune, India in September 2000. The 21 revised full papers presented together with three invited contributions were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on model checking, fault tolerance, scheduling, validation, verification, logic and automata.
Информация за книгата
Пълно заглавие
Formal Techniques in Real-Time and Fault-Tolerant Systems
Автор
Mathai Joseph
Език
Английски език
Английски език
Корици
Книга - С меки корици
Дата на издаване
2000
Брой страници
314
Баркод
9783540410553
ISBN
3540410554
Код Либристо
01563048
Издателство
Springer, Berlin
Тегло
458
Размери
155 x 235 x 17
Категории
Computing & Information Technology
>
Computer science
>
Artificial intelligence
>
Expert systems / knowledge-based systems
Computing & Information Technology
>
Computer programming / software engineering
>
Compilers & interpreters
