Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Delivery
All
Free Shipping (2)
Sold By
All Sellers
Fishpond (2)
Age Range
All Ranges
15+ (1)
Price
All Prices
Over $80 (2)
to Go
to Go
Discount
Any Discount
0 - 25% (2)
Country
All Countries
Germany (2)
    Results for "Michael Berger"
    Michael Berger
    2 results
    Delivery
    All
    Free Shipping (2)
    Sold By
    All Sellers
    Fishpond (2)
    Age Range
    All Ranges
    15+ (1)
    Price
    All Prices
    Over $80 (2)
    to Go
    to Go
    Discount
    Any Discount
    0 - 25% (2)
    Country
    All Countries
    Germany (2)
      2 results
      • Bestselling
      • Relevance
      • Price: Lowest
      • In Stock
      Sort By
      View:
      Types for Proofs and ­Programs (International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science))
      By Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus
      Types for Proofs and ­Programs (International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science))
      By Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus
      $120
      Logic-Based Program ­Synthesis and Transformation (19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
      By Danny De Schreye
      Logic-Based Program ­Synthesis and Transformation (19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
      By Danny De Schreye
      $118