Concurrency Verification
shared
This Book is Out of Stock!
English

About The Book

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
Piracy-free
Assured Quality
Assured Quality
Secure Transactions
Secure Transactions
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
21319
Out Of Stock
All inclusive*
downArrow

Details


LOOKING TO PLACE A BULK ORDER?CLICK HERE