Topology in Process Calculus Approximate Correctness and Infinite Evolution of Concurrent Programs
- List Price: $69.95
- Binding: Hardcover
- Publisher: Springer Verlag
- Publish date: 04/01/2001
Description:
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 compute 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.
Expand description
Product notice
Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
Seller | Condition | Comments | Price |
|
Zubal Books
Like New |
$18.60
|
|
HPB-Red
Good
|
$19.07
|
Ergodebooks
|
Good |
$26.39
|
booksdiscount11
|
New |
$40.94
|
|
discount_scientific_books
New |
$49.55
|
Please Wait