Abstract State Machines, Alloy, B, VDM, and Z
Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7316
Herausgegeben von Derrick, John
Fitzgerald, John S.
Gnesi, Stefania
- 出版社：Springer, Berlin
- 出版年月：2012年 00月
- ISBN：9783642308840
- 装丁：PAP
-
装丁について
- 版次：2012. 2012. XV