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 /
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 submis...
保存先:
| 団体著者: | |
|---|---|
| その他の著者: | , |
| フォーマット: | 電子媒体 eBook |
| 言語: | 英語 |
| 出版事項: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2024.
|
| 版: | 1st ed. 2024. |
| シリーズ: | Lecture Notes in Computer Science,
14617 |
| 主題: | |
| オンライン･アクセス: | https://doi.org/10.1007/978-3-031-66438-0 |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
| 要約: | 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. |
|---|---|
| 物理的記述: | IX, 217 p. 38 illus., 13 illus. in color. online resource. |
| ISBN: | 9783031664380 |
| ISSN: | 1611-3349 ; |
| DOI: | 10.1007/978-3-031-66438-0 |