Semantics of Sequential and Parallel Programming
| Main Author: | Best, Eike (Author) |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
London
Prentice Hall
c1996
|
| Series: | Prentice-Hall International Series in Computer Science
|
| Subjects: |
Similar Items
-
Semantics of Programming Languages
by: Tennent, R. D.
Published: (1991) -
Predicate calculus and program semantics /
by: Dijkstra, Edsger Wybe
Published: (1990) -
High-order operational techniques in semantics
Published: (1998) -
Semantics of type theory : correctness, completeness, and independence results /
by: Streicher, Thomas, 1958-
Published: (1991) -
From logic programming to prolog
Published: (1997)