-
-
From Action Systems to Distributed Systems
The Refinement Approach
-
Petre, Luigia (EDT)
Sekerinski, Emil (EDT)
-
出版社：Chapman & Hall/crc
出版年月：2020年 06月
装丁：PAP
言語：ENG
-
税込価格：
13,586円
海外在庫あり
通常２～５週間で出荷
-
-
From Action Systems to Distributed Systems
The Refinement Approach
-
Petre, Luigia (EDT)
Sekerinski, Emil (EDT)
-
出版社：Chapman & Hall/crc
出版年月：2016年 04月
装丁：HRD
言語：ENG
-
税込価格：
51,371円
海外在庫あり
通常２～５週間で出荷
-
-
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円
海外在庫あり
通常２～５週間で出荷
-
-
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円
海外在庫あり
通常２～５週間で出荷
-
-
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é
-
出版社：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é
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2020年 00月
装丁：PAP
版次：1st ed. 2020 2020 xviii
-
税込価格：
12,318円
海外在庫あり
通常２～５週間で出荷
-
-
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円
海外在庫あり
通常２～５週間で出荷
