Pr869    Pr869/408 Pr869/408 / Pr869/408-02         Hardware specification, verification and synthesis: mathematical aspects [Текст] : mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings / Mathematical sciences institute (Ithaca) ; ed.: M. Leeser, G. Brown. - Berlin : Springer, 1990. - VI, 402 p. : ill. - (Lecture notes in computer science ; 408) Перевод заглавия: Спецификация, верификация и синтез аппаратных средств ЭВМ: математические аспектыББК З 973.2-044-01в641я431 Доп.точки доступа: Leeser, M. \ed.\; Brown, G. \ed.\; Mathematical sciences institute (Ithaca) Экземпляры всего: 1 02 (1) Свободны: 02 (1)