Verification of Sequential and Concurrent Programs
- List Price: $129.00
- Binding: Hardcover
- Edition: 2
- Publisher: Springer Verlag
- Publish date: 05/01/1997
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
Product notice
Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
Seller | Condition | Comments | Price |
|
HPB-Red
Good
|
$4.50
|
Ergodebooks
|
Good |
$11.55
|
|
GridFreed
New |
$109.83
|
Please Wait