Abstract State Machines, Alloy, B, TLA, VDM, and Z
4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8477
Herausgegeben von Ait Ameur, Yamine
Schewe, Klaus-Dieter
- 出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe
- 出版年月：2014年 05月
- ISBN：9783662436516
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：2014. 2014. xvi