Order Total: 
US$ 158.38

Basket items (1 item) Price Quantity
   

Seller Image

Handbook of Model Checking
Clarke, Edmund M. (EDT); Henzinger, Thomas A. (EDT); Veith, Helmut (EDT); Bloem, Roderick (EDT)

Contact seller

US$ 155.74
Convert Currency
(of 2)
 
  Choose a shipping option
 
     
 
 

Terms and Conditions    
 
AbeBooks Home
Order Total: 
US$ 158.38
 
 
  Saved for later (0 items)  

You currently have no items saved for later.

Purchase your current shopping basket items by clicking Proceed to Checkout.