Hardware specification, verification, and synthesis : Mathematical aspects : proceedings /

Hardware specification, verification, and synthesis : Mathematical aspects : proceedings /

Збережено в:
Бібліографічні деталі
Співавтори: Cornell University. Mathematical Sciences Institute. Workshop, Cornell University. Mathematical Sciences Institute
Інші автори: Leeser, M. (Miriam), 1958-, Brown, G. (Geoffrey), 1960-
Формат: Книга
Мова:English
Опубліковано: Berlin ; New York : Springer-Verlag, 1990.
Серія:Lecture notes in computer science ; 408.
Предмети:
Integrated circuits > Very large scale integration > Design and construction > Data processing > Congresses.
Integrated circuits > Verification > Congresses.
Опис
Фізичний опис:vi, 402 p. : ill. ; 25 cm.
Бібліографія:Includes bibliographical notes.
ISBN:0387972269

Схожі ресурси