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 |
|
Blue Vase Books
|
Good
|
$12.66
|
|
ErgodeBooks
|
Good |
$28.68
|
|
Bonita
|
Good
|
$62.48
|
|
Peak Books
|
Like New
|
$67.50
|
|
Peak Books
|
Like New
|
$76.50
|
|
Just one more Chapter
|
New |
$101.25
|
|
GridFreed
|
New |
$111.63
|
Please Wait