Rigorous State-Based Methods

9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

Lecture Notes in Computer Science 14010

Herausgegeben:Glaesser, Uwe Creissac Campos, Jose M&eacute

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

税込価格：

18,382円

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

Engineering Interactive Computer Systems. EICS 2024 International Workshops

Cagliari, Sardinia, Italy, June 24-28, 2024, Revised Selected Papers

Lecture Notes in Computer Science 15518

Herausgegeben:Zaina, Luciana Campos, Jos&eacute Creissac

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

税込価格：

29,414円

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