Hardware specification, verification, and synthesis : mathematical aspects : proceedings / Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989 ; M. Leeser, G. Brown (eds.)
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
1990.
|
| Series: | Lecture notes in computer science ;
408. |
| Subjects: |
PASCAL Offsite
| Call Number: |
TK7874 .H385 1990
|
|---|---|
| TK7874 .H385 1990 | Available Place a Hold |