Abstract State Machines, Alloy, B, TLA, VDM, and Z
5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Lecture Notes in Computer Science .9675
Herausgegeben von Butler, Michael
Schewe, Klaus-Dieter
Mashkoor, Atif
- 出版社：Springer, Berlin; Springer International Publishing
- 出版年月：2016年 05月
- ISBN：9783319335995
- 装丁：PAP
-
装丁について
- 版次：1st ed. 2016. 2016. xxi