愛知工業大学附属図書館

Computer aided verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings

P. Madhusudan, Sanjit A. Seshia (eds.). -- Springer, 2012. -- (Lecture notes in computer science ; 7358). <BB00206379>
書誌URL:

所蔵一覧 1件~1件(全1件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 図書館 電動集密洋書 007.63||M 004009163 書架 0件
No. 0001
巻号
所蔵館 図書館
配置場所 電動集密洋書
請求記号 007.63||M
資料ID 004009163
状態 書架
返却予定日
予約 0件

書誌詳細

標題および責任表示 Computer aided verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings / P. Madhusudan, Sanjit A. Seshia (eds.)
出版・頒布事項 Berlin : Springer , c2012
形態事項 xvi, 789 p. : ill. ; 24 cm
巻号情報
ISBN 9783642314230
書誌構造リンク Lecture notes in computer science <BB00160823> 7358//a
その他の標題 異なりアクセスタイトル:CAV 2012
注記 Includes bibliographical references and index
注記 "LNCS sublibrary: SL 1 – Theoretical computer science and general issues" -- T.p. verso
学情ID BB1006655X
本文言語コード 英語
著者標目リンク *CAV (Conference) <AU00019105> (24th : 2012 : Berkeley, Calif.)
著者標目リンク Madhusudan, P. <>
著者標目リンク Seshia, Sanjit A. <>
分類標目 DC23:004.24
件名標目等 Computer software -- Verification -- Congresses
件名標目等 CAV