Coalgebraic Methods in Computer Science

16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings

Lecture Notes in Computer Science 13225

Herausgegeben:Hansen, Helle Hvid Zanasi, Fabio

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

税込価格：

26,230円

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

Logic, Language, Information, and Computation

29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings

Lecture Notes in Computer Science 13923

Herausgegeben:Hansen, Helle Hvid Scedrov, Andre de Queiroz, Ruy J.G.B.

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

税込価格：

17,883円

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