Quick Search

Keyword
Title
Author
Seller Id
Advanced Search
 
 

Find us on:

 
Gift Certificate

 
 
Other
       Tell a Friend
Add to Shopping Cart
Author Name:    Kroening, Daniel; Strichman, Ofer

Title:   Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Binding:   Hardcover

Book Condition:   New

Publisher:    Springer 

ISBN Number:   3662504960 / 9783662504963

Seller ID:   ING9783662504963

3662504960 Special order direct from the distributor


Price = 145.79 CDN
Add to Shopping Cart

cookie