From Action Systems to Distributed Systems

The Refinement Approach

Petre, Luigia (EDT) Sekerinski, Emil (EDT)

出版社：Chapman & Hall/crc 出版年月：2020年 06月
装丁：PAP 言語：ENG

税込価格：

12,790円

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

From Action Systems to Distributed Systems

The Refinement Approach

Petre, Luigia (EDT) Sekerinski, Emil (EDT)

出版社：Chapman & Hall/crc 出版年月：2016年 04月
装丁：HRD 言語：ENG

税込価格：

48,364円

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

Integrated Formal Methods

10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

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

Herausgegeben von Johnsen, Einar Broch Petre, Luigia

出版社：Springer, Berlin 出版年月：2013年 00月
装丁：PAP 版次：2013. XIV

税込価格：

11,787円

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

Formal Methods Teaching

Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Lecture Notes in Computer Science 11758

Herausgegeben von Dongol, Brijesh Petre, Luigia Smith, Graeme

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

税込価格：

11,787円

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