Applied formal methods for correct VLSI design : International workshop : Nov 1989, Houthalen, Belgium.

Notes on use

Note (General)：: Papers.In 2 companion vols. Part 1:Formal VLSI specification and synthesis: VLSI design methods-1. Part 2: Formal VLSI correctness verification: VLSI ...

Search by Bookstore

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
ISBN: 044488372X (part 1)
0444886885 (part 2)
ISBN (set): 0444886893 (set)
Title: Applied formal methods for correct VLSI design : International workshop : Nov 1989, Houthalen, Belgium.
Author Heading: Interuniversity Micro-Electronics Center.
International Federation for Information Processing. Working Groups 10.2 "System Description and Design Tools" and 10.5 "Very Large Scale Integration"
Publication, Distribution, etc.: Elsevier Science Pub. Co
Publication Date: 1990.
Publication Date (W3CDTF): 1990
Extent: v.
Alternative Title: In 2 companion vols. Part 1: Formal VLSI specification and synthesis: VLSI design methods-1. Part 2: Formal VLSI correctness verification: VLSI design methods-2
correct VLSI design ; IMEC ; IFIP
NDLC: M17
ND
Note (General): Papers.
In 2 companion vols. Part 1:Formal VLSI specification and synthesis: VLSI design methods-1. Part 2: Formal VLSI correctness verification: VLSI design methods-2.
Index term: correct VLSI design ; IMEC ; IFIP.
BL shelfmark: 90/19834 Formal.
Holding library: 国立国会図書館
Call No.: M17-90-2812
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003480421
http://id.ndl.go.jp/bib/000003480421
UKMARC No.: G01565571
Bibliographic Record Category (NDL): 215