Description:
This textbook teaches proposition calculus, predicate calculus, induction and recursion, prolog, sets and relations, functions, graphs and trees, formal requirement specification in Z, program correctness proofs, grammars, languages, and parsing, derivations, and an overview of relational database systems.
Expand description
Product notice
Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
| Seller | Condition | Comments | Price |
|
ErgodeBooks
|
Good |
$23.50
|
|
Bonita
|
Good
|
$57.22
|
|
Just one more Chapter
|
New |
$85.66
|
|
Peak Books
|
New
|
$97.87
|
|
GridFreed
|
New |
$111.63
|
|
Bonita
|
New
|
$222.43
|
Please Wait