 |
|
 |
|
| 書名 | Computer aided verification : 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings |
|---|---|
| 著作者等 |
CAV Leino, K. Rustan M. Silva, Alexandra |
| シリーズ名 |
Lecture notes in computer science |
| 巻冊次 |
pt. 2 |
| 出版元 | Springer |
| 刊行年月 | c2021 |
| ページ数 | xxiii, 940 p. |
| 大きさ | 24 cm |
| ISBN |
9783030816872 |
| NCID |
BC1120167X ※クリックでCiNii Booksを表示 |
| 言語 | 英語 |
| 出版国 | スイス |
