The book is currently out of stock
Parameters
More about the book
Covers a range of sequential and parallel programming languages using a variety of mathematical description techniques. Chapters examine sequential nondeterministic programs, an operational view of relational semantics, definitions of Hoare's proof rule and Dijkstra's weakest preconditions, the data flow of sequential programs, the control flow of a variable-free language and alternative descriptions of the control flow, the relationships between partial order models and interleaving, a shared data language and a CSP language. Annotation c. by Book News, Inc., Portland, Or.
Book purchase
Semantics of sequential and parallel programs, Eike Best
- Language
- Released
- 1996
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.