Tests and Proofs

17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings

Lecture Notes in Computer Science 14066

Herausgegeben:Prevosto, Virgile Seceleanu, Cristina

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

税込価格：

11,853円

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

Critical Systems

Formal Methods and Automated Verification

Lecture Notes in Computer Science .10471

Herausgegeben von Petrucci, Laure Seceleanu, Cristina

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

税込価格：

11,853円

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

Engineering of Computer-Based Systems

8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings

Lecture Notes in Computer Science 14390

Herausgegeben:Kofron, Jan Margaria, Tiziana Seceleanu, Cristina

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

税込価格：

15,411円

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