Coalgebraic Methods in Computer Science : 15. IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings / Daniela Petrişan, Jurriaan Rot editors

• Pubblicazione: Cham, : Springer, 2020
• Titolo uniforme: Coalgebraic Methods in Computer Science
• Descrizione fisica: xv, 201 p. : ill. ; 24 cm
• Soggetto topico: 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]; 68-XX - Computer science [MSC 2020]; 68Q65 - Abstract data types; algebraic specification [MSC 2020]
• Soggetto non controllato: Artificial Intelligence; Boolean algebra; Boolean functions; Coalgebra; Computer programming; Computer vision; Databases; Dynamical systems; Formal logic; Functors; Game Theory; Image processing; Mathematics; Matrix algebra; Semantical models; Semantics
• Persona (resp. second.): Petrişan, Daniela; Rot, Jurriaan
• Titolo autorizzato: Coalgebraic Methods in Computer Science
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN00248772
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: http://doi.org/10.1007/978-3-030-57201-3
• Serie: Lecture notes in computer science Berlin [etc.] . -Springer ; 12094