All About Maude - A High-Performance Logical Framework
How to Specify, Program, and Verify Systems in Rewriting Logic
Lecture Notes in Computer Science
Clavel, M.
Durán, F. (et al.)
- 出版社：Springer
- 出版年月：2007年 08月
- ISBN：9783540719403
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：797 p.
- 分類： ソフトウェア工学
- DDC分類：005