Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Refine By
Category
General (2)
Sold By
All Sellers
Fishpond (2)
Country
All Countries
Germany (2)
    Results for "Peter Dybjer"
    Peter Dybjer
    2 results
    Refine By
    Category
    General (2)
    Sold By
    All Sellers
    Fishpond (2)
    Country
    All Countries
    Germany (2)
      2 results
      • Bestselling
      • Relevance
      • Price: Lowest
      Sort By
      View:
      Applied Semantics (International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : Advanced Lectures (Lecture Notes in Computer Science))
      By Gilles Barthe, Peter Dybjer, Luis Pinto, Joao Saraiva
      Applied Semantics (International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : Advanced Lectures (Lecture Notes in Computer Science))
      By Gilles Barthe, Peter Dybjer, Luis Pinto, Joao Saraiva
      $114
      Types for Proofs and ­Programs (International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science))
      By Paul Callaghan, Zhaohui Luo, James McKinna, R. Pollack
      Types for Proofs and ­Programs (International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science))
      By Paul Callaghan, Zhaohui Luo, James McKinna, R. Pollack
      $104