Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Communications of NII Shonan Meetings

Ait-Ameur, Yamine (EDT) Nakajima, Shin (EDT) Méry, Dominique (EDT)

出版社：Springer Verlag, Singapore 出版年月：2021年 07月
装丁：PAP 言語：ENG

税込価格：

23,579円

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

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

4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings

Lecture Notes in Computer Science / Programming and Software Engineering .8748

Herausgegeben von Ait Ameur, Yamine Bellatreche, Ladjel Papadopoulos, George A.

出版社：Springer, Berlin; Springer International Publishing 出版年月：2014年 09月
装丁：PAP 版次：2014. 2014. xiv

税込価格：

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円

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

Engineering of Complex Computer Systems

28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings

Lecture Notes in Computer Science 14784

Herausgegeben:Bai, Guangdong Ishikawa, Fuyuki Ait-Ameur, Yamine

出版社：Springer, Berlin; Springer Nature Switzerland; Spring 出版年月：2024年 00月
装丁：PAP 版次：2025. 2024. xix

税込価格：

15,560円

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

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円

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

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円

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