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 |
|
HPB-Red
Good
![]() |
$4.50
|
|
ErgodeBooks
Good |
$15.30
|
|
Bonita
Good
![]() |
$36.10
|
|
Just one more Chapter
New |
$53.17
|
|
Peak Books
New
![]() |
$97.87
|
|
GridFreed
New |
$111.63
|
|
ErgodeBooks
New |
$219.15
|
|
Bonita
New
![]() |
$222.43
|

Please Wait