Books
1 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
Predicate transformer semantics | Ernest G. Manes | 223 p. : 26 cm | OL3860548W |
| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
|
Predicate transformer semantics | Ernest G. Manes | 223 p. : 26 cm | OL3860548W |