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

• 資料種別: 図書
• ISBN: 044488372X (part 1); 0444886885 (part 2)
• ISBN（セット）: 0444886893 (set)
• タイトル: Applied formal methods for correct VLSI design : International workshop : Nov 1989, Houthalen, Belgium.
• 著者標目: 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"
• 出版事項: Elsevier Science Pub. Co
• 出版年月日等: 1990.
• 出版年（W3CDTF）: 1990
• 数量: v.
• 並列タイトル等: 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
• 一般注記: 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.
• 所蔵機関: 国立国会図書館
• 請求記号: M17-90-2812
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000003480421; http://id.ndl.go.jp/bib/000003480421
• UKMARC番号: G01565571
• 整理区分コード: 215