Web Services, Formal Methods, and Behavioral Types

Lecture Notes in Computer Science .9421

Herausgegeben von Hildebrandt, Thomas Ravara, Ant&oacute nio

出版社：Springer, Berlin; Springer International Publishing 出版年月：2016年 04月
装丁：PAP 版次：1st ed. 2016. 2016. xvii

税込価格：

9,902円

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

Formal Techniques for Distributed Objects, Components, and Systems

Lecture Notes in Computer Science 13910

Herausgegeben:Huisman, Marieke Ravara, Ant&oacute nio

出版社：Springer, Berlin; Springer Nature Switzerland; Spring 出版年月：2023年 00月
装丁：PAP 版次：1st ed. 2023. 2023. xiv

税込価格：

16,502円

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