☰

The Calculus of Computation: Decision Procedures with Applications to Verification

R 2,276

or 4 x payments of R569.00 with Payflex

Availability: Currently in Stock

Delivery: 10-20 working days

Please be aware orders placed now may not arrive in time for Christmas, please check delivery times.

The Calculus of Computation: Decision Procedures with Applications to Verification

Country	USA
Brand	Springer
Manufacturer	Springer
Binding	Paperback
ItemPartNumber	60 black & white illustrations, 3 black
Model	60 black & white illustrations, 3 black
ReleaseDate	2010-11-19
UnitCount	1
EANs	9783642093470

Customers who purchased this also purchased....

Alice in Wonderland and Philosophy: Curiouser and Curiouser (The Blackwell Philosophy and Pop Culture Series)

The ETF Handbook: How to Value and Trade Exchange-Traded Funds (Wiley Finance Series)

Microsoft Windows Server 2008 R2 Administration Instant Reference

LSAT Logic Games For Dummies

Nutrition, Nutrient Composition of Foods Booklet: Science and Applications

Student Solutions Manual to Accompany Foundations of College Chemistry, 13E & Alt 13E

Maya Studio Projects: Game Environments and Props

Windows 7 for Dummies