Special topics in mathematics for computer scientists: sets, categories, topologies and measures
Auteur :
Doberkat, Ernst-Erich
Éditeur :
Springer International Publishing AG
ISBN :
9783319368696
Date de publication :
23 août 2016
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.