logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - Willem-Paul de Roever
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods
by: (author)
Format: hardcover
ISBN: 9780521806084 (0521806089)
ASIN: 521806089
Publisher: Cambridge University Press
Pages no: 800
Edition language: English
Bookstores:
Books by Willem-Paul de Roever
Share this Book
Need help?