Designing correct circuits : proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992 / edited by Jørgen Staunstrup, Robin Sharp.
Saved in:
Corporate Author: | |
---|---|
Other Authors: | , |
Format: | Conference Proceeding Book |
Language: | English |
Published: |
Amsterdam ; New York :
North-Holland : Elsevier Science Pub. Co. [distributor],
1992.
|
Series: | IFIP transactions. Computer science and technology ;
A-5. |
Subjects: |
PASCAL Offsite
Call Number: |
TK7888.4 .I37 1992
|
---|---|
TK7888.4 .I37 1992 | Available Place a Hold |