Formal VLSI correctness verification : VLSI Design methods, II : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design / sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. Claesen. VLSI Design methods, II : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design /
Saved in:
Corporate Authors: | , |
---|---|
Other Authors: | |
Format: | Book |
Language: | English |
Published: |
Amsterdam ; New York :
North-Holland,
1990
|
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Pilkington Library - Pilkington Main Collection
Shelfmark: |
621.38173/IFI |
---|---|
Copy [0400267942] | Available |