Computer aided verification : 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings
著者
書誌事項
Computer aided verification : 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings
(Lecture notes in computer science, 9206-9207 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues)
Springer, c2015
- pt. 1
- pt. 2
大学図書館所蔵 2件 / 全2件
すべての地域すべての図書館
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and author index