ロード中...

Verification of systems and circuits uswing LOTOS, Petri, Nets, and CCS

書誌詳細
第一著者: Yoeli, Michael
フォーマット: Printed Book
言語:English
出版事項: New Jersey John Wiley & Sons 2008
主題:

UL

予約・返却請求 UL
請求記号: 621.3.049.77 YOE
所蔵 ステータス情報は利用できません