ロード中...

Formal specification and verification of digital systems /

書誌詳細
第一著者: Milne, George
言語:Undetermined
出版事項: London : McGraw-Hill book co , 1994.

University of Kerala

予約・返却請求 University of Kerala
請求記号: D6512 N41
所蔵 ステータス情報は利用できません