logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Reactive Systems: Modelling, Specification and Verification - L Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larson, Jiri Srba
Add cover
Reactive Systems: Modelling, Specification and Verification
by: (author) (author) (author) (author)
Format: ebook
ISBN: 9781281040411 (128104041X)
Publisher: Cambridge University Press
Pages no: 301
Edition language: English
Bookstores:
Books by Anna Ingólfsdóttir
Books by Jiri Srba
Books by L Aceto
Books by Kim Guldstrand Larson
Share this Book
Need help?