Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee,
67,58 €
The 14 revised full papers presented went through a thorough process of reviewing and revision and were selected from a total of 25 candidate papers. Types for Proofs and Programs. Short Title TYPES FOR PROOFS & PROGRAMS 19.
Jetzt bei Ebay:
