Tacti-Based Inductive Theorem Prover for Data Types With Partial Operations

Tacti-Based Inductive Theorem Prover for Data Types With Partial Operations

By (author) 

List price: US$36.00

Currently unavailable

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks

Product details

  • Paperback | 261 pages
  • Ios Pr Inc
  • English
  • 1586031287
  • 9781586031282