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...
| Published in: | Springer eBooks |
|---|---|
| Main Author: | |
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2015.
|
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/978-3-319-22750-4 Перейти в каталог НБ ТГУ |