Larch: Languages and Tools for Formal Specification
Monographs in Computer Science
Garland, S. J. (CON)
Jones, K. D. (CON)
Modet, A. (CON)
- 出版社：Springer Verlag
- 出版年月：2011年 10月
- ISBN：9781461276364
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：Reprint
- 巻数・ページ数：263 p.
- DDC分類：511