Accessible text describing the process algebraic approach to the specification and verification of software and software systems using mathematical logic.
Read More
Accessible text describing the process algebraic approach to the specification and verification of software and software systems using mathematical logic.
Read Less
Add this copy of Reactive Systems: Modelling, Specification and to cart. $70.00, good condition, Sold by HaroldsBooks rated 4.0 out of 5 stars, ships from Corydon, IA, UNITED STATES, published 2007 by Cambridge University Press.
Add this copy of Reactive Systems: Modelling, Specification and to cart. $70.15, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2007 by Cambridge University Press.
Add this copy of Reactive Systems: Modelling, Specification and to cart. $81.35, good condition, Sold by Anybook rated 5.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 2007 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This is an ex-library book and may have the usual library/used-book markings inside. This book has hardback covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 750grams, ISBN: 9780521875462.
Add this copy of Reactive Systems: Modelling, Specification and to cart. $106.77, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2007 by Cambridge University Press.
