-
-
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月
装丁：PAP
版次：1st ed. 2016. 2016. xxi
-
税込価格：
11,853円
海外在庫あり
通常２～５週間で出荷
-
-
Formal Methods and Software Engineering
17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Lecture Notes in Computer Science .9407
-
Herausgegeben von Butler, Michael
Conchon, Sylvain
Zaï
-
出版社：Springer, Berlin; Springer International Publishing
出版年月：2015年 12月
装丁：PAP
版次：1st ed. 2015. 2016. xxv
-
税込価格：
11,853円
海外在庫あり
通常２～５週間で出荷
-
-
Abstract State Machines, Alloy, B, TLA, VDM, and Z
6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings
Lecture Notes in Computer Science .10817
-
Herausgegeben von Butler, Michael
Raschke, Alexander
Hoang, Thai Son
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2018年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2018. 2018. xiv
-
税込価格：
11,853円
海外在庫あり
通常２～５週間で出荷
