Verification of Sequential and Concurrent Programs (Texts in Computer Science) 2nd Edition

5.0 out of 5 stars 1 rating
ISBN-13: 978-0387948966
ISBN-10: 0387948961
Why is ISBN important?
This bar-code number lets you verify that you're getting exactly the right version or edition of a book. The 13-digit and 10-digit formats both work.
Scan an ISBN with your phone
Use the Amazon App to scan ISBNs and compare prices.
Have one to sell?
Loading your book clubs
There was a problem loading your book clubs. Please try again.
Not in a club? Learn more
Amazon book clubs early access

Join or create book clubs

Choose books together

Track your books
Bring your club to Amazon Book Clubs, start a new book club and invite your friends to join, or find a club that’s right for you for free.
Used: Very Good | Details
Condition: Used: Very Good
Comment: ex libris, mostly clean unmarked pages, good clean covers
Access codes and supplements are not guaranteed with used items.
7 used from $23.00
& FREE Shipping
Temporarily out of stock.
Order now and we'll deliver when available.
Order now and we'll deliver when available. We'll e-mail you with an estimated delivery date as soon as we have more information. Your account will only be charged when we ship the item.
Ships from and sold by
Available at a lower price from other sellers that may not offer free Prime shipping.
2 new from $47.00
& FREE Shipping. Details

Verification of Sequentia... has been added to your Cart

Available at a lower price from other sellers that may not offer free Prime shipping.

There is a newer edition of this item:

Amazon First Reads | Editors' picks at exclusive prices
click to open popover

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.

  • Apple
  • Android
  • Windows Phone
    Windows Phone
  • Click here to download from Amazon appstore

To get the free app, enter your mobile phone number.


Special offers and product promotions

Editorial Reviews


"Specification and verification of programs is increasingly being taught to undergraduate and graduate computer science students. Courses along these lines enable students to understand and reason about programs as formal objects.

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)

Product details

  • 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
  • Customer Reviews:
    5.0 out of 5 stars 1 rating