Concurrency Verification

Download Concurrency Verification full books in PDF, epub, and Kindle. Read online free Concurrency Verification ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!

Concurrency Verification

Concurrency Verification
Author :
Publisher : Cambridge University Press
Total Pages : 26
Release :
ISBN-10 : 0521806089
ISBN-13 : 9780521806084
Rating : 4/5 (084 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.


Concurrency Verification Related Books