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