This 2001 book is an introduction to verifying concurrent programs scaling up to a realistic size. It is self-contained and comprehensive guiding the reader from advanced undergraduate level. Every method is illustrated by examples and a picture gallery of some of the subjects key figures complements the text.
Piracy-free
Assured Quality
Secure Transactions
*COD & Shipping Charges may apply on certain items.