logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Reactive Systems: Modelling, Specification and Verification - Luca Aceto, Kim Guldstrand Larsen, Jiri Srba, Anna Ingólfsdóttir
Reactive Systems: Modelling, Specification and Verification
by: (author) (author) (author) (author)
Format: hardcover
ISBN: 9780521875462 (0521875463)
Publisher: Cambridge University Press
Pages no: 284
Edition language: English
Bookstores:
Other editions (1)
Books by Anna Ingólfsdóttir
Books by Kim Guldstrand Larsen
Books by Luca Aceto
Books by Jiri Srba
Share this Book
Need help?