Formal Methods and Software Engineering

21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings

Lecture Notes in Computer Science 11852

Herausgegeben von Ait-Ameur, Yamine Qin, Shengchao

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2019年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2019. 2019. xxi

税込価格：

11,787円

海外在庫あり 通常２～５週間で出荷

Model and Data Engineering

6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings

Lecture Notes in Computer Science .9893

Herausgegeben von Bellatreche, Ladjel Pastor, &Oacute scar

出版社：Springer, Berlin; Springer International Publishing 出版年月：2016年 09月
装丁：PAP 版次：1st ed. 2016. 2016. xvii

税込価格：

11,787円

海外在庫あり 通常２～５週間で出荷

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月
装丁：PAP 言語：ENG 版次：2014. 2014. xvi

税込価格：

11,787円

海外在庫あり 通常２～５週間で出荷

ABZ 2014

The Landing Gear Case Study

Communications in Computer and Information Science .433

Herausgegeben von Boniol, Frederic Wiels, Virginie Ait Ameur, Yamine

出版社：Springer, Berlin; Springer International Publishing 出版年月：2014年 05月
装丁：PAP 言語：ENG 版次：2014. 2014. xii

税込価格：

11,787円

海外在庫あり 通常２～５週間で出荷