67-4966-89 Lectures on Runtime Verification 978-3-319-75631-8
仕様
- サブタイトル：Introductory and Advanced Topics
- 編者：Bartocci, Ezio/Falcone, Yliès
- 叢書名：Lecture Notes in Computer Science
- Vol.10457
- 装丁：Paper
- 頁数他：VII, 233 p. 28 illus.
- 発行日：2018/02/11
- 分類：プログラム技法：その他
よくあるご質問（FAQ）
掲載カタログ情報
| 掲載カタログ名 | 掲載ページ |
|---|