Concurrency Verification: Introduction to Compositional and Non-compositional Methods
- Author
- Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
- Publisher
- Cambridge University Press
- Language
- English
- Year
- 2001
- Page
- 800
- ISBN
- 0521806089,9780521806084
- File Type
- djvu
- File Size
- 6.9 MiB
How to Download?!!!
Just click on START button on Telegram Bot