759:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Andra format:
- Inbunden 759:-
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.
- Format: Pocket/Paperback
- ISBN: 9781461265221
- Språk: Engelska
- Antal sidor: 220
- Utgivningsdatum: 2012-10-28
- Förlag: Springer-Verlag New York Inc.