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
- 分類:オートマトン・形式言語