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

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,740
  • 貴賓價: 9.5 折 $2,603
  • 語言: 英文
  • 頁數: 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.

商品描述(中文翻譯)

本書為第17屆國際計算機科學中的煤代數方法研討會（CMCS 2024）的會後論文集，該研討會與2024年ETAPS會議同時舉辦，於2024年4月在盧森堡舉行。

這些論文集中的10篇論文是從15篇投稿中經過仔細審查和選擇而來。這些論文涵蓋了煤代數的理論、邏輯及應用等廣泛主題。

類似商品