-
Anglický jazyk
Topology in Process Calculus
Autor: Mingsheng Ying
The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from point-set topology. Professionals, researchers and graduate students in theoretical computer... Viac o knihe
Na objednávku, dodanie 2-4 týždne
52.24 €
bežná cena: 54.99 €
O knihe
The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from point-set topology. Professionals, researchers and graduate students in theoretical computer science and formal methods will find this presentation helpful in understanding new concepts for concurrent and real-time systems, especially methods for describing approximation of systems.
- Vydavateľstvo: Springer New York
- Rok vydania: 2012
- Formát: Paperback
- Rozmer: 235 x 155 mm
- Jazyk: Anglický jazyk
- ISBN: 9781461265221
Nemecký jazyk 
