67-4966-28 Concise Guide to Formal Methods 978-3-319-64020-4
仕様
- サブタイトル:Theory, Fundamentals and Industry Applications
- 著者:O'Regan, Gerard
- 叢書名:Undergraduate Topics in Computer Science
- 装丁:Paper
- 頁数他:XXVI, 322 p. 81 illus., 56 illus. in color.
- 発行日:2017/08/24
- 分類:ソフトウェア開発工程