Reactive Systems: Modelling, Specification and Verification
From Reactive Systems Book
(Redirected from Main Page)
[edit] Introduction
This is a homepage for the book "Reactive Systems: Modelling, Specification and Verification".
The book has been used for courses on modelling and verification of reactive systems at several universities (here is a list of some of them).
It is now available and can be purchased, for example, from here. You can also buy the book from
- Amazon.co.uk,
- Amazon.com,
- Amazon.ca,
- Amazon.co.jp,
- Barnes&Noble.
Hardback (ISBN-13: 9780521875462), published by Cambridge University Press.
If you are using the book for one of your courses, please send us an email with the name of the course, its level and a URL pointing to the web page for the course. We would like to keep track of our "user group".
