What do you think?
Rate this book
Verification of Sequential and Concurrent Programs
I In the Beginning.- 1 Introduction.- 2 Preliminaries.- II Sequential Programs.- 3 Deterministic Programs.- 4 Nondeterministic Programs.- III Parallel Programs.- 5 Disjoint Parallel Programs.- 6 Parallel Programs with Shared Variables.- 7 Parallel Programs with Synchronization.- IV Distributed Programs.- 8 Distributed Programs.- Appendices.- A Semantics.- B Axioms and Proof Rules.- C Proof Systems.- D Proof Outlines.- Author Index.- Symbol Index.
464 pages, Paperback
First published July 9, 1991
1 person is currently reading
6 people want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.