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

• 資料種別: 図書
• ISBN: 0444888586
• タイトル: Formal methods for VLSI design : International summer school : Jun 1990, Lyngby, Denmark.
• 著者標目: International Federation for Information Processing. Working Group 10.5 on VLSI.; Technical University of Denmark. Computer Science Department.
• 出版事項: 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]
• 出版年月日等: 1990.
• 出版年（W3CDTF）: 1990
• 数量: v.
• 並列タイトル等: VLSI design ; VLSI ; IFIP
• NDLC: M17; ND
• 一般注記: Papers.; Index term: VLSI design ; VLSI ; IFIP.; BL shelfmark: 91/03975 Formal.
• 所蔵機関: 国立国会図書館
• 請求記号: M17-91-0870
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000003482159; http://id.ndl.go.jp/bib/000003482159
• UKMARC番号: G01562521
• 整理区分コード: 215