Verification of Sequential and Concurrent Programs (Texts in Computer Science) 2nd Edition
Use the Amazon App to scan ISBNs and compare prices.
Order now and we'll deliver when available.
There is a newer edition of this item:
Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.
To get the free app, enter your mobile phone number.
a ]this beautifully written and smoothly flowing textbook should serve as a fine candidate for teaching graduate-level and possibly upper-level undergraduate courses on, or with a component on, program verification. a ]the book is self-contained"
(Anish Arora, William Gasarcha (TM)s Book Review Column, SIGACT News)
- Item Weight : 1.2 pounds
- Hardcover : 364 pages
- ISBN-10 : 0387948961
- ISBN-13 : 978-0387948966
- Product Dimensions : 6.14 x 0.94 x 9.21 inches
- Publisher : Springer; 2nd Edition (May 13, 1997)
- Language: : English
- Best Sellers Rank: #10,302,769 in Books (See Top 100 in Books)
- Customer Reviews: