Reactive systems : modelling, specification and verification / Luca Aceto [and others].

Accessible text describing the process algebraic approach to the specification and verification of software and software systems using mathematical logic.

Bibliographic Details

Online Access:	Full Text (via Cambridge)
Other Authors:	Aceto, Luca
Format:	Electronic eBook
Language:	English
Published:	Cambridge, UK ; New York : Cambridge University Press, ©2007.
Subjects:	Expert systems (Computer science) > Validation. Expert systems (Computer science) > Verification. System design > Mathematical models.