Coalgebraic Methods in Computer Science
Coalgebraic Methods in Computer Science
Buch
- 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6¿7, 2024, Proceedings
- Herausgeber: Henning Urbat, Barbara König
- Springer Nature Switzerland, 07/2024
- Einband: Kartoniert / Broschiert, Paperback
- Sprache: Englisch
- ISBN-13: 9783031664373
- Bestellnummer: 11928875
- Umfang: 228 Seiten
- Auflage: 2024
- Gewicht: 353 g
- Maße: 235 x 155 mm
- Stärke: 13 mm
- Erscheinungstermin: 26.7.2024
- Serie: Lecture Notes in Computer Science - Band 14617
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
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.
Mehr von Lecture Notes i...
Serdar Tasiran
Verified Software. Theories, Tools and Experiments
Buch
EUR 54,75*
Florin Manea
Developments in Language Theory
Buch
EUR 72,27*
Vijay Ganesh
Computer Aided Verification
Buch
EUR 43,80*
Osvaldo Gervasi
Computational Science and Its Applications ¿ ICCSA 2024 Workshops
Buch
EUR 164,28*
Moi Hoon Yap
Medical Image Understanding and Analysis
Buch
EUR 81,04*
Coalgebraic Methods in Computer Science
EUR 71,19*