Formal specification and verification of digital sytems

Библиографические подробности
Главный автор: George Milne
Формат: Printed Book
Язык:English
Опубликовано: McGraw-Hill 1994
Описание
Объем:240
ISBN:3246

Схожие документы