Computer & TechnologyTopology in Process Calculus : Approximate Correctness and Infinite Evolution of Concurrent Programs
Item 1 of 1
Item 1 of 1
SKU 9781461265221Publishing Ref 9781461265221
Springer
Topology in Process Calculus : Approximate Correctness and Infinite Evolution of Concurrent Programs
Printed Book
SR 432
Inclusive of VAT
Sold as: EACH
SR26Per Month/24 months
SKU 9781461265221Publishing Ref 9781461265221
Author:Ying, Mingsheng
Date of Publication: 2012
Book classification:Computer & Technology,English Books
No. of pages:232 Pages
Format:Paperback
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
SR432
Incl. VAT
Choose your delivery preference
Secure Shopping
Convenient Returns
Genuine & Warranted
Fast Delivery
Or
About this Product
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.