Produktnummer:
1850bc4ff4d91449f8aae63a2948ec95bb
| Themengebiete: | artificial intelligence automata theory boolean algebra boolean functions computer programming computer systems engineering formal logic mathematics matrix algebra |
|---|---|
| Veröffentlichungsdatum: | 23.07.2022 |
| EAN: | 9783031107351 |
| Sprache: | Englisch |
| Seitenzahl: | 195 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Hansen, Helle Hvid Zanasi, Fabio |
| Verlag: | Springer International Publishing |
| Untertitel: | 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings |
Produktinformationen "Coalgebraic Methods in Computer Science"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen