Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Refine By
Category
Science (4)
Computers (4)
Professional & Vocational (1)
Sold By
All Sellers
Fishpond (4)
Format
All Formats
Hardback (2)
Paperback (2)
    Results for "Strichman, Ofer"
    Strichman, Ofer
    4 results
    Refine By
    Category
    Science (4)
    Computers (4)
    Professional & Vocational (1)
    Sold By
    All Sellers
    Fishpond (4)
    Format
    All Formats
    Hardback (2)
    Paperback (2)
      4 results
      • Bestselling
      • Relevance
      • Price: Lowest
      Sort By
      View:
      Decision Procedures (An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series))
      By Strichman, Ofer, Kroening, Daniel
      Decision Procedures (An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series))
      By Strichman, Ofer, Kroening, Daniel
      HK$313 Elsewhere HK$453.30 Save HK$140.30 (31%)
      Hardware and Software (Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings (Programming and Software Engineering))
      By Ofer Strichman, Rachel Tzoref-Brill
      Hardware and Software (Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings (Programming and Software Engineering))
      By Ofer Strichman, Rachel Tzoref-Brill
      HK$784
      Decision Procedures (An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series))
      By Daniel Kroening, R.E. Bryant, Ofer Strichman
      Decision Procedures (An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series))
      By Daniel Kroening, R.E. Bryant, Ofer Strichman
      HK$600
      Decision Procedures: An ­Algorithmic Point of View (2017 (Texts in Theoretical Computer Science: An EATCS Series))
      By Strichman, Ofer, Kroening, Daniel
      Decision Procedures: An ­Algorithmic Point of View (2017 (Texts in Theoretical Computer Science: An EATCS Series))
      By Strichman, Ofer, Kroening, Daniel
      HK$434 Elsewhere HK$654.81 Save HK$220.81 (34%)