Fundamentals of Software Engineering

11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings

Lecture Notes in Computer Science 15593

Herausgegeben:Hojjat, Hossein Caltais, Georgiana

出版社：Springer, Berlin; Springer Nature Switzerland; Spring 出版年月：2025年 00月
装丁：PAP 言語：ENG 版次：2025. x

税込価格：

30,828円

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

Model Checking Software

29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings

Lecture Notes in Computer Science 13872

Herausgegeben:Caltais, Georgiana Schilling, Christian

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

税込価格：

13,037円

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