Add this copy of Reactive Systems: Modelling, Specification and to cart. $70.00, good condition, Sold by HaroldsBooks rated 5.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. $85.44, 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. $118.63, 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.
Add this copy of Reactive Systems: Modelling, Specification and to cart. $134.88, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2007 by Cambridge University Press.
Add this copy of Reactive Systems: Modelling, Specification and to cart. $146.56, new condition, Sold by Booksplease rated 4.0 out of 5 stars, ships from Southport, MERSEYSIDE, UNITED KINGDOM, published 2007 by Cambridge University Press.
Add this copy of Reactive Systems: Modelling, Specification and to cart. $158.19, new condition, Sold by Kennys.ie rated 4.0 out of 5 stars, ships from Galway, IRELAND, published 2007 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Accessible text describing the process algebraic approach to the specification and verification of software and software systems using mathematical logic. Num Pages: 302 pages, 28 b/w illus. 7 tables 188 exercises. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 256 x 183 x 22. Weight in Grams: 666. 2007. hardcover.....We ship daily from our Bookshop.