Products

Product categories

Filters

Filters

Clear all
1 products
Sort by
Sort by
New
Solving HigherOrder Equations : From Logic to Programming (Progress in Theoretical Computer Science),Used Solving HigherOrder Equations : From Logic to Programming (Progress in Theoretical Computer Science),Used
Add to wishlist
Quick view
Add to compare
Solving HigherOrder Equations : From Logic to Programming (Progress in...
This monograph develops techniques for equational reasoning in higherorder logic. Due to its expressiveness, higherorder logic is used for specification and verification of hardware, software,...
Sale price$26.35 Regular price$37.64
Quantity
Add to cart

Recently viewed products