Concurrency Verification
Author | : W.-P. de Roever |
Publisher | : Cambridge University Press |
Total Pages | : 26 |
Release | : 2001-11-26 |
ISBN-10 | : 0521806089 |
ISBN-13 | : 9780521806084 |
Rating | : 4/5 (084 Downloads) |
Download or read book Concurrency Verification written by W.-P. de Roever and published by Cambridge University Press. This book was released on 2001-11-26 with total page 26 pages. Available in PDF, EPUB and Kindle. Book excerpt: An advanced 2001 textbook on verification of concurrent programs using a semantic approach which highlights concepts clearly.