{
"item_title" : "Topology in Process Calculus",
"item_author" : [" Mingsheng Ying "],
"item_description" : "A monograph presenting new concepts and tools for the understanding and analysis of approximate correctness of programs in concurrent systems. Professionals, researchers and graduate students in theoretical computer science will find the discussion helpful for developing new concepts for concurrent and real-time systems.",
"item_img_path" : "https://covers2.booksamillion.com/covers/bam/1/46/126/522/1461265223_b.jpg",
"price_data" : {
"retail_price" : "54.99", "online_price" : "54.99", "our_price" : "54.99", "club_price" : "54.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : ""
}
}
Topology in Process Calculus : Approximate Correctness and Infinite Evolution of Concurrent Programs
Overview
A monograph presenting new concepts and tools for the understanding and analysis of approximate correctness of programs in concurrent systems. Professionals, researchers and graduate students in theoretical computer science will find the discussion helpful for developing new concepts for concurrent and real-time systems.
This item is Non-Returnable
Customers Also Bought
Details
- ISBN-13: 9781461265221
- ISBN-10: 1461265223
- Publisher: Springer
- Publish Date: October 2012
- Dimensions: 9.21 x 6.14 x 0.49 inches
- Shipping Weight: 0.73 pounds
- Page Count: 220
Related Categories
