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.
General
| Imprint: |
Springer-Verlag New York
|
| Country of origin: |
United States |
| Release date: |
October 2012 |
| First published: |
2001 |
| Authors: |
Mingsheng Ying
|
| Dimensions: |
235 x 155 x 12mm (L x W x T) |
| Format: |
Paperback
|
| Pages: |
220 |
| Edition: |
Softcover reprint of the original 1st ed. 2001 |
| ISBN-13: |
978-1-4612-6522-1 |
| Categories: |
Books >
Computing & IT >
Computer programming >
Software engineering
|
| LSN: |
1-4612-6522-3 |
| Barcode: |
9781461265221 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
