Filter By
Books (2)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Solving Higher-Order Equations: From Logic to Programming by Christian Prehofer 9780817640323
Booksplease Price: $190.18This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specification and verification of hardware, software, and... -
Solving Higher-Order Equations: From Logic to Programming by Christian Prehofer 9781461272786
Booksplease Price: $190.18This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specification and verification of hardware, software, and...