Das Buch ist derzeit nicht auf Lager
Parameter
Mehr zum Buch
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.
Buchkauf
Topology in process calculus, Mingsheng Ying
- Sprache
- Erscheinungsdatum
- 2001
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Keiner hat bisher bewertet.