The Calculus of Computation : Decision Procedures with Applications to Verification

The Calculus of Computation : Decision Procedures with Applications to Verification

Author: Bradley, Aaron R.

Brand: New Age Internationals

₹750.0

1 item left in Stock

Sold By: trendypaper

Description of product

Textbook on " The Calculus of Computation: Decision Procedures with Applications to Verification".

Renting Guidelines

Specification of Products

BrandNew Age Internationals

User reviews

  0/5