Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Sold By
All Sellers
Fishpond (5)
Country
All Countries
Germany (2)
United States (2)
United Kingdom (1)
    Results for "Martin Howard"
    Martin Howard
    5 results
    Sold By
    All Sellers
    Fishpond (5)
    Country
    All Countries
    Germany (2)
    United States (2)
    United Kingdom (1)
      Related Searches: 
      daniel howard martin     howard, martin r.     martin howard dean     martin howard wilcox
      5 results
      • Bestselling
      • Relevance
      • Price: Lowest
      Sort By
      View:
      Adapting Proofs-as-Programs (The Curry - Howard Protocol (Monographs in Computer Science))
      By Iman Hafiz Poernomo, J. N. Crossley, Martin Wirsing
      Adapting Proofs-as-Programs (The Curry - Howard Protocol (Monographs in Computer Science))
      By Iman Hafiz Poernomo, J. N. Crossley, Martin Wirsing
      £128
      Adapting Proofs-as-Programs (The Curry--Howard Protocol (Monographs in Computer Science))
      By Iman Hafiz Poernomo, John N. Crossley, Martin Wirsing
      Adapting Proofs-as-Programs (The Curry--Howard Protocol (Monographs in Computer Science))
      By Iman Hafiz Poernomo, John N. Crossley, Martin Wirsing
      £130
      Twenty-Five Years of ­Constructive Type Theory (Proceedings of a Congress Held in Venice, October 1995)
      By Sambin, Giovanni (Professor of Mathematical Logic, Professor of , Smith, Jan M. (Professor, Department of Computing Science, Profe
      Twenty-Five Years of ­Constructive Type Theory (Proceedings of a Congress Held in Venice, October 1995)
      By Sambin, Giovanni (Professor of Mathematical Logic, Professor of , Smith, Jan M. (Professor, Department of Computing Science, Profe
      £64.47 Elsewhere £97.00 Save £32.53 (34%)
      Programs as Data Objects (Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Olivier Danvy, Andrzej Filinski
      Programs as Data Objects (Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Olivier Danvy, Andrzej Filinski
      £44.91
      Algebraic Methodology and ­Software Technology (7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings: v. 1548 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Armando Martain Haeberer
      Algebraic Methodology and ­Software Technology (7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings: v. 1548 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Armando Martain Haeberer
      £45.08
      We use essential and some optional cookies to provide you the best shopping experience. Visit our cookies policy page for more information.