検索絞り込み条件絞り込み条件isbn 項目を閉じる絞り込み条件絞り込み条件検索結果 2 件20件ずつ表示50件ずつ表示100件ずつ表示リスト表示サムネイル表示テーブル表示適合度順出版年:古い順出版年:新しい順タイトル:昇順タイトル:降順著者:昇順著者:降順請求記号順タイトルでまとめる一括お気に入りApplied formal methods for correct VLSI design : International workshop : Nov 1989, Houthalen, Belgium.Applied formal methods for correct VLSI design : International workshop : Nov 1989, Houthalen, Belgium.紙図書Elsevier Science Pub. Co1990.<M17-90-2812>国立国会図書館ISBN044488372X 0444886885Formal VLSI correctness verification : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI DesignFormal 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. ClaesenNorth-Holland1990全国の図書館ISBN0444886885検索結果は以上です。書誌情報を一括出力