Coalgebraic methods in computer science : 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024 : proceedings
著者
書誌事項
Coalgebraic methods in computer science : 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024 : proceedings
(Lecture notes in computer science, 14617)
Springer, c2024
注記
Includes bibliographical references and index