67-4972-36 Formal Analysis by Abstract Interpretation 978-3-030-91152-2
仕様
- サブタイトル：Case Studies in Modern Protocols
- 著者：Aziz, Benjamin
- 叢書名：SpringerBriefs in Applied Sciences and Technology
- 装丁：Paper
- 頁数他：XII, 113 p. 25 illus.
- 発行日：2021/12/14
- 分類：モノのインターネット
よくあるご質問（FAQ）
掲載カタログ情報
| 掲載カタログ名 | 掲載ページ |
|---|