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. $124.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. $127.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. $136.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. $147.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.
