67-4963-99 Modeled, Tested, Trusted 978-3-319-68269-3
仕様
- サブタイトル：Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
- 編者：Katoen, Joost-Pieter/Langerak, Rom/Rensink, Arend
- 叢書名：Lecture Notes in Computer Science
- Vol.10500
- 装丁：Paper
- 頁数他：XII, 391 p. 115 illus.
- 発行日：2017/09/29
- 分類：オートマトン・形式言語
よくあるご質問（FAQ）
掲載カタログ情報
| 掲載カタログ名 | 掲載ページ |
|---|