Reactive Systems : Modelling, Specification and Verification
Book Details
Format
Hardback or Cased Book
ISBN-10
0521875463
ISBN-13
9780521875462
Publisher
Cambridge University Press
Imprint
Cambridge University Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Aug 9th, 2007
Print length
302 Pages
Weight
666 grams
Dimensions
25.60 x 18.30 x 2.20 cms
Product Classification:
Software Engineering
Ksh 15,100.00
Manufactured on Demand
Delivery in 29 days
Delivery Location
Delivery fee: Select location
Delivery in 29 days
Secure
Quality
Fast
This accessible text describes the process algebraic approach to the specification and verification of software and software systems using mathematical logic. Offering a balanced introduction for graduate students, the book describes all the various approaches, their strengths and weaknesses, and when they are best used.
Get Reactive Systems by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Cambridge University Press and it has pages.
