Coalgebraic Methods in Computer Science: 17th Ifip Wg 1.3 International Workshop, Cmcs 2024, Colocated with Etaps 2024, Luxembourg City, Luxembourg, A

Name: Coalgebraic Methods in Computer Science: 17th Ifip Wg 1.3 International Workshop, Cmcs 2024, Colocated with Etaps 2024, Luxembourg City, Luxembourg, A
Price: 2641 TWD
Availability: OnlineOnly
Author: König, Barbara, Urbat, Henning
ISBN: 303166437X

König, Barbara, Urbat, Henning

Coalgebraic Methods in Computer Science: 17th Ifip Wg 1.3 International Workshop, Cmcs 2024, Colocated with Etaps 2024, Luxembourg City, Luxembourg, A

出版商: Springer
出版日期: 2024-07-26
售價: $2,780
貴賓價: 9.5 折 $2,641
語言: 英文
頁數: 217
裝訂: Quality Paper - also called trade paper
ISBN: 303166437X
ISBN-13: 9783031664373
相關分類: Computer-Science

海外代購書籍(需單獨結帳)

商品描述

This book constitutes the post-conference proceedings of the 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, colocated with ETAPS 2024, held in Luxembourg in April 2024.

The 10 papers included in these proceedings were carefully reviewed and selected from 15 submissions. The papers cover a wide range of topics on theory, logics, and applications of coalgebras.