Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Refine By
Category
Computers (5)
Science (2)
Professional & Vocational (1)
Sold By
All Sellers
Fishpond (5)
Format
All Formats
Paperback (5)
    Results for "Markus Muller-Olm"
    Markus Muller-Olm
    5 results
    Refine By
    Category
    Computers (5)
    Science (2)
    Professional & Vocational (1)
    Sold By
    All Sellers
    Fishpond (5)
    Format
    All Formats
    Paperback (5)
      5 results
      • Bestselling
      • Relevance
      • Price: Lowest
      Sort By
      View:
      Variations on Constants (Flow Analysis of Sequential and Parallel Programs (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Markus Muller-Olm
      Variations on Constants (Flow Analysis of Sequential and Parallel Programs (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Markus Muller-Olm
      $69.63
      Modular Compiler ­Verification (A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Müller-Olm, Markus
      Modular Compiler ­Verification (A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Müller-Olm, Markus
      $69.47
      Verification, Model ­Checking, and Abstract ­Interpretation (10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
      By Neil D. Jones, Markus Muller-Olm
      Verification, Model ­Checking, and Abstract ­Interpretation (10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
      By Neil D. Jones, Markus Muller-Olm
      $69.61
      Static Analysis (21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings (Theoretical Computer Science and General Issues))
      By Markus Muller-Olm, Helmut Seidl
      Static Analysis (21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings (Theoretical Computer Science and General Issues))
      By Markus Muller-Olm, Helmut Seidl
      $72.62
      Dependable Software ­Engineering. Theories, ­Tools, and Applications (4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings (Lecture Notes in Computer Science))
      By Xinyu Feng, Markus Muller-Olm, Zijiang Yang
      Dependable Software ­Engineering. Theories, ­Tools, and Applications (4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings (Lecture Notes in Computer Science))
      By Xinyu Feng, Markus Muller-Olm, Zijiang Yang
      $69.32
      We use essential and some optional cookies to provide you the best shopping experience. Visit our cookies policy page for more information.