Concurrency Verification: Introduction to Compositional and Non-Compositional Methods
Format: hardcover
ISBN:
9780521806084 (0521806089)
ASIN: 521806089
Publish date: August 10th 2011
Publisher: Cambridge University Press
Pages no: 800
Edition language: English