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

By: Kroening, Daniel; Strichman, Ofer

Price: $145.79

Quantity: 80 available


3662504960 Special order direct from the distributor

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

Author Name: Kroening, Daniel; Strichman, Ofer

Categories: Other,

Publisher: Springer:

ISBN Number: 3662504960

ISBN Number 13: 9783662504963

Binding: Hardcover

Book Condition: New

Seller ID: ING9783662504963