• Sekerinski, Emil,国内・海外在庫あり

    による検索結果
  • 1件〜7件(全7件)
書名
著者
出版社
ISBN
出版年月
装丁
言語
在庫状況
書籍表紙

From Action Systems to Distributed Systems

The Refinement Approach

Petre, Luigia (EDT) Sekerinski, Emil (EDT)
出版社:Chapman & Hall/crc 出版年月:2020年 06月
装丁:PAP 言語:ENG
税込価格:

13,586円

海外在庫あり 通常2~5週間で出荷
書籍表紙

From Action Systems to Distributed Systems

The Refinement Approach

Petre, Luigia (EDT) Sekerinski, Emil (EDT)
出版社:Chapman & Hall/crc 出版年月:2016年 04月
装丁:HRD 言語:ENG
税込価格:

51,371円

海外在庫あり 通常2~5週間で出荷
書籍表紙

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円

海外在庫あり 通常2~5週間で出荷
書籍表紙

FM 2006: Formal Methods

14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

Programming and Software Engineering

Misra, Jayadev (EDT) Nipkow, Tobias (EDT) Sekerinski, Emil (EDT)
出版社:Springer-Verlag New York Inc 出版年月:2006年 09月
装丁:PAP 言語:ENG
税込価格:

24,640円

海外在庫あり 通常2~5週間で出荷
書籍表紙

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円

海外在庫あり 通常2~5週間で出荷
書籍表紙

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円

海外在庫あり 通常2~5週間で出荷
書籍表紙

Formal Methods Teaching

6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

Lecture Notes in Computer Science 14939

Herausgegeben:Sekerinski, Emil Ribeiro, Leila
出版社:Springer, Berlin; Springer Nature Switzerland; Spring 出版年月:2024年 00月
装丁:PAP 版次:2024. 2024. ix
税込価格:

9,359円

海外在庫あり 通常2~5週間で出荷