DotCom

Enable

The SPIN Model Checker: Primer and Reference Manual Author: Gerard J. Holzmann Manufacturer: Addison-Wesley Professional ListPrice: $68.99 Offer: $55.19	Systems and Software Verification: Model-Checking Techniques and Tools Author: B. Berard Manufacturer: Springer ListPrice: $59.95 Offer: $47.96	Logic in Computer Science: Modelling and Reasoning about Systems Author: Michael Huth Manufacturer: Cambridge University Press ListPrice: $72.00 Offer: $62.10
Principles of Program Analysis Author: Flemming Nielson Manufacturer: Springer ListPrice: $69.95 Offer: $55.96	Principles of Model Checking Author: Christel Baier Manufacturer: The MIT Press ListPrice: $60.00 Offer: $48.00	The Temporal Logic of Reactive and Concurrent Systems: Specification Author: Zohar Manna Manufacturer: Springer ListPrice: $139.00 Offer: $87.99
Introduction to the Theory of Computation, Second Edition Author: Michael Sipser Manufacturer: Course Technology ListPrice: $148.95 Offer: $119.16	An Introduction to Lambda Calculi for Computer Scientists Author: C Hankin Manufacturer: College Publications ListPrice: $18.50 Offer: $16.65	Temporal Verification of Reactive Systems: Safety Author: Zohar Manna Manufacturer: Springer ListPrice: $129.00 Offer: $102.77
Types and Programming Languages Author: Benjamin C. Pierce Manufacturer: The MIT Press ListPrice: $72.00 Offer: $57.60