Coalgebraic Methods In Computer Science: 16Th Ifip Wg 1.3 International Workshop, Cmcs 2022, Colocated With Etaps 2022, Munich, Germany, April 2-3, ... (Lecture Notes In Computer Science, 13225)
Springer
ISBN13:
9783031107351
$118.37
(No reviews yet)
Write a Review
Springer
Coalgebraic Methods In Computer Science: 16Th Ifip Wg 1.3 International Workshop, Cmcs 2022, Colocated With Etaps 2022, Munich, Germany, April 2-3, ... (Lecture Notes In Computer Science, 13225)
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2022, colocated with ETAPS 2022, held in Munich, Germany, in April 2022. The 9 revised full papers were carefully reviewed and selected from 12 submissions. The papers cover a wide range of topics in the theory, logics, and applications of coalgebras.
- | Author: Helle Hvid Hansen|Fabio Zanasi
- | Publisher: Springer
- | Publication Date: Jul 23, 2022
- | Number of Pages: 212 pages
- | Language: English
- | Binding: Paperback/Mathematics
- | ISBN-10: 3031107357
- | ISBN-13: 9783031107351
- Author:
- Helle Hvid Hansen, Fabio Zanasi
- Publisher:
- Springer
- Publication Date:
- Jul 23, 2022
- Number of pages:
- 212 pages
- Language:
- English
- Binding:
- Paperback/Mathematics
- ISBN-10:
- 3031107357
- ISBN-13:
- 9783031107351
