The Calculus of Computation: Decision Procedures with Applications to Verification

The Calculus of Computation: Decision Procedures with Applications to Verification

Product ID: 3540741127 Condition: New

Payflex: Pay in 4 interest-free payments of R781.75. Read the FAQ
R 3,127
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA Mastercard payflex ozow

Product Description

The Calculus of Computation: Decision Procedures with Applications to Verification

  • Used Book in Good Condition

Technical Specifications

Country
USA
Brand
Springer
Manufacturer
Springer
Binding
Hardcover
ItemPartNumber
60 black & white illustrations, 3 black
ReleaseDate
2007-09-03T00:00:01Z
UnitCount
1
EANs
9783540741121