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 (89 Downloads) |
Book Synopsis Concurrency Verification by : W.-P. de Roever
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.