Загрузка...

Formal techniques in real-time and fault tolerant systems /

Библиографические подробности
Главный автор: Joseph, Mathai
Формат: Printed Book
Язык:English
Опубликовано: New York : Springer , 2000.
Предметы: