Applications of formal methods

Библиографические подробности
Другие авторы: Hinchey, Michael G. (Michael Gerard) 1969-, Bowen, J. P. (Jonathan Peter) 1956-
Формат:
Опубликовано: London Prentice Hall 1995.
Серии:Prentice-Hall international series in computer science
Предметы: