Cargando…

Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures /

This textbook addresses the mathematical description of sets, categories, topologies and measures, as part of the basis for advanced areas in theoretical computer science like semantics, programming languages, probabilistic process algebras, modal and dynamic logics and Markov transition systems. Us...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Doberkat, Ernst-Erich (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2015.
Edición:1st ed. 2015.
Temas:
Acceso en línea:Texto Completo