|
|
Reactive Systems
Accessible text describing the process algebraic approach to the specification and verification of software and software systems using mathematical logic.
EAN/ISBN : 9780511332142
Publisher(s): Cambri... |
 |
|
|
| Download PDF |
| Reactive Systems |
|
