Formal VLSI correctness verification : 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

この本の情報

書名 Formal VLSI correctness verification : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design
著作者等 Claesen, Luc J. M.
IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design
Interuniversity Micro-Electronics Center
シリーズ名 VLSI Design methods
出版元 North-Holland;Distributed in the U.S. and Canada, Elsevier Science Pub. Co.
刊行年月 1990
ページ数 xv, 427 p.
大きさ 24 cm
ISBN 0444886885
NCID BA10229690
※クリックでCiNii Booksを表示
言語 英語
出版国 オランダ
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想