Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
  • #
  • #

Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers

54.99 EUR 53.49 EUR 3% Off

Teilen:

Ähnliche Produkte

Types for Proofs and Programs

Types for Proofs and Programs

53.49 EUR
Types for Proofs and Programs: International Workshop, TYPES'99 Lökeberg, Sweden, June 12-16, 1999 Selected Papers

Types for Proofs and Programs: International Workshop, TYPES'99 Lökeberg, Sweden, June 12-16, 1999 Selected Papers

53.49 EUR
Types for Proofs and Programs

Types for Proofs and Programs

53.49 EUR
Types for Proofs and Programs

Types for Proofs and Programs

53.49 EUR
Types for Proofs and Programs: International Conference, Types 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers

Types for Proofs and Programs: International Conference, Types 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers

42.40 EUR
Types for Proofs and Programs: LIPIcs Proceedings 19th International Conference TYPES 2013, April 22–26, 2013, Toulouse, France

Types for Proofs and Programs: LIPIcs Proceedings 19th International Conference TYPES 2013, April 22–26, 2013, Toulouse, France

48.00 EUR