Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Juli 2024
Genre:	Schulbücher
	Algebra / automatatheory / Behaviouralequivalences / Booleanalgebra / booleanfunctions / coalgebra / coinductivedefinitionsandproofprinciples / computationalandsemanticalmodels / concurrencytheory / datatypes / formallogic / Künstliche Intelligenz (KI) / Mathematik für Informatiker / Matrixalgebra / modallogic / modallogics / ProgrammingLanguages / querylanguages / Softwaredesign / Softwareengineering / Verification mehr...
ISBN:	9783031664373
EAN-Code:	9783031664373
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 13 mm
Gewicht:	353 gr
Seiten:	228
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.