Types for Proofs and Programs: International Conference, Types 2007, Cividale del Friuli | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. 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

53.49 EUR 42.40 EUR 21% 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 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

53.49 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