Cover of Reactive systems

An edition of Reactive systems (2003)

Reactive systems

modelling, specification and verification

By Luca Aceto

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

0 Want to read0 Currently reading0 Have read

Publish Date

2007

Publisher

Cambridge University Press

Language

eng

Pages

284

Description:

subjects: Expert systems (Computer science), Validation, Verification, System design, Mathematical models, Computer software, verification, Computer science, mathematics