Coalgebraic Methods in Computer Science
14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers
Wersja papierowa
Redakcja:
Cîrstea Corina
Wydawnictwo:
Springer Nature B.V.ISBN: 978-30-300-0390-6
Format: 15.6x23.4cm
Liczba stron: 248
Oprawa: Miękka
Wydanie: 2018 r.
Język: angielski
Dostępność: dostępny
160,10 zł
<div>This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2018, colocated with ETAPS 2018, held in Thessaloniki, Greece, in April 2018.</div><div>The 10 revised full papers were carefully reviewed and selected from 17 submissions. Also included are the extended abstracts of two keynotes/invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.</div>
