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
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

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.
Show more

Specifications

SKU9781461265221
Manufacturer Number9781461265221
year published2012
Show more

Report an issue with this product.

Customer Reviews