Offering an up-to-date and practical treatment of concurrent systems, this is a practical reference manual and convenient introduction for students and practitioners using and implementing the formal specification language CSP in the specification and verification of complex, real-time and distributed systems.
Read More
Offering an up-to-date and practical treatment of concurrent systems, this is a practical reference manual and convenient introduction for students and practitioners using and implementing the formal specification language CSP in the specification and verification of complex, real-time and distributed systems.
Read Less
Add this copy of Concurrent Systems: Formal Development in Csp (the to cart. $74.16, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1995 by McGraw-Hill.
