☀️ Soak Up the Savings with Our Summer Deals ☀️ ️

Recently Viewed

2 results for '"Christian Prehofer"'

Filter By

Books (2)

Sort By:

Display Type:
Filters
  • Book
  • Qty in Cart
  • Quantity
  • Price
  • Subtotal
  • Solving Higher-Order Equations: From Logic to Programming by Christian Prehofer 9780817640323

    Solving Higher-Order Equations: From Logic to Programming by Christian Prehofer 9780817640323

    Booksplease Price: $190.18
    This 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...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: $190.18
    Subtotal:
  • Solving Higher-Order Equations: From Logic to Programming by Christian Prehofer 9781461272786

    Solving Higher-Order Equations: From Logic to Programming by Christian Prehofer 9781461272786

    Booksplease Price: $190.18
    This 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...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: $190.18
    Subtotal:
  • Total: items /

Adding your books to cart