Reactive Systems
Anna (University of Iceland, Reykjavik) Ingolfsdottir, Jiri (Aalborg University, Denmark) Srba, Kim Guldstrand (Aalborg University, Denmark) Larsen, Luca (University of Iceland, Reykjavik) Aceto
Cambridge University Press, 2007
133,50 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9780521875462
- ISBN-10
- 0521875463
- Publisher
- Cambridge University Press
- Year
- 2007
- Publication date
- 2007-08-09
- Pages
- 302
- Dimensions
- 256x183x22
- Weight
- 666