Formal methods for VLSI design : International summer school : Jun 1990, Lyngby, Denmark.

• Material Type: 図書
• ISBN: 0444888586
• Title: Formal methods for VLSI design : International summer school : Jun 1990, Lyngby, Denmark.
• Author Heading: International Federation for Information Processing. Working Group 10.5 on VLSI.; Technical University of Denmark. Computer Science Department.
• Publication, Distribution, etc.: Amsterdam : North-Holland; New York : North-Holland; New York, N.Y., U.S.A. : North-Holland; Amsterdam : Elsevier Science Pub. Co. [distributor]; New York : Elsevier Science Pub. Co. [distributor]; New York, N.Y., U.S.A. : Elsevier Science Pub. Co. [distributor]
• Publication Date: 1990.
• Publication Date (W3CDTF): 1990
• Extent: v.
• Alternative Title: VLSI design ; VLSI ; IFIP
• NDLC: M17; ND
• Note (General): Papers.; Index term: VLSI design ; VLSI ; IFIP.; BL shelfmark: 91/03975 Formal.
• Holding library: 国立国会図書館
• Call No.: M17-91-0870
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000003482159; http://id.ndl.go.jp/bib/000003482159
• UKMARC No.: G01562521
• Bibliographic Record Category (NDL): 215