Books
2 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
Discrete Mathematics and Applications | Kevin Ferland | xxviii, 916 pages : 27 cm | OL21599801W |
|
Predicate transformer semantics | Ernest G. Manes | 223 p. : 26 cm | OL3860548W |