Error title
Some error text about your books and stuff.
Close

Verification of Sequential and Concurrent Programs

by Krzystof R. Apt

  • ISBN: 9780387948966
  • ISBN10: 0387948961

Verification of Sequential and Concurrent Programs

by Krzystof R. Apt

  • List Price: $129.00
  • Binding: Hardcover
  • Edition: 2
  • Publisher: Springer Verlag
  • Publish date: 05/01/1997
  • ISBN: 9780387948966
  • ISBN10: 0387948961
used Add to Cart $13.51
You save: 90%
Marketplace Item
new Add to Cart $60.75
You save: 53%
Marketplace Item
Description: From the contents: Preface.- Introduction.- Preliminaries.- Deterministic Programs.- Disjoint parallel programs.- Parallel programs with shared variables.- Parallel programs with synchronization.- Nondeterministic programs.- Distributed programs.- Fairness.- Appendices.- References.
Expand description
Seller Condition Comments Price  
Seller: HPB-Red
Location: Dallas, TX
Condition: Good
Shipping Icon
Connecting readers with great books since 1972. Used books may not include
[...]
Price:
$13.51
Comments:
Connecting readers with great books since 1972. Used books may not include
[...]
Seller: Ergodebooks
Location: Houston,, TX Ask seller a question
Condition: Good
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$23.70
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Seller: MIMA MIA BOOKS
Location: BROOKLINE, MA
Condition: New
Shipping Icon
Sewn binding. Cloth over boards. 364 p. Graduate Texts in Computer Science. Audience: General/trade.
Price:
$60.75
Comments:
Sewn binding. Cloth over boards. 364 p. Graduate Texts in Computer Science. Audience: General/trade.
Seller: Ergodebooks
Location: Houston,, TX Ask seller a question
Condition: New
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$65.65
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
please wait
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).