Formal Aspects of Component Software

18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings

Lecture Notes in Computer Science 13712

Herausgegeben:Tapia Tarifa, Silvia Lizeth Proen&ccedil a, Jos&eacute

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

税込価格：

15,411円

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

Integrated Formal Methods

15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings

Lecture Notes in Computer Science 11918

Herausgegeben von Ahrendt, Wolfgang Tapia Tarifa, Silvia Lizeth

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

税込価格：

11,853円

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

Theoretical Aspects of Computing - ICTAC 2023

20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings

Lecture Notes in Computer Science 14446

Herausgegeben:&Aacute brah&aacute m, Erika

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

税込価格：

18,968円

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