This book present formal semantics of sequential and parallel programs and emphasis formal relationships between different mathematical description techniquesl Providing a self-contained introduction to all the necessary mathematics, proofs are presented in a readable form which will appeal to the novice. It contains an in-depth study of the most-well-known and widely-used methods for achieving correctness in program design and presents all technical results at an adequate and easy to learn level. Case studies and exercises (some of them with solutions) help illustrate results.
- ISBN10 0134606434
- ISBN13 9780134606439
- Publish Date 9 May 1996
- Publish Status Out of Print
- Out of Print 20 May 2003
- Publish Country GB
- Imprint Prentice Hall
- Format Paperback
- Pages 368
- Language English