Integrated Formal Methods

11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

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

Herausgegeben von Albert, Elvira Sekerinski, Emil

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

税込価格：

12,318円

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

Formal Methods. FM 2019 International Workshops

Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I

Lecture Notes in Computer Science 12232

Herausgegeben von Sekerinski, Emil Moreira, Nelma Oliveira, Jos&eacute

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2020年 00月
装丁：PAP 版次：1st ed. 2020 2020 xviii

税込価格：

12,318円

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

Formal Methods. FM 2019 International Workshops

Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II

Lecture Notes in Computer Science 12233

Herausgegeben von Sekerinski, Emil Moreira, Nelma Oliveira, Jos&eacute

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2020年 00月
装丁：PAP 版次：1st ed. 2020 2020 xviii

税込価格：

12,318円

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