図書

Automated technology for verification and analysis : 14th international symposium, ATVA 2016 : Chiba, Japan, October 17-20, 2016 : proceedings : Oct 2016, Chiba, Japan. (Lecture Notes in Computer Science ; 9938)

図書を表すアイコン

Automated technology for verification and analysis : 14th international symposium, ATVA 2016 : Chiba, Japan, October 17-20, 2016 : proceedings : Oct 2016, Chiba, Japan.

(Lecture Notes in Computer Science ; 9938)

国立国会図書館請求記号
M17-19-536
国立国会図書館書誌ID
028533703
資料種別
図書
著者
ATVA (Symposium) (14th : 2016 : Chiba, Japan)ほか
出版者
Springer
出版年
[2016]
資料形態
ページ数・大きさ等
xi, 530 pages ; 24 cm.
NDC
-
すべて見る

資料に関する注記

一般注記:

Papers.

形態の詳細:

illustrations

資料詳細

要約等:

This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Ch...

書店で探す

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
ISBN
9783319465197
ISSN(シリーズ)
0302-9743
出版年月日等
[2016]
出版年(W3CDTF)
2016