Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science, 806)
Verkauft von Ria Christie Collections, Uxbridge, Vereinigtes Königreich
AbeBooks-Verkäufer seit 25. März 2015
Neu - Softcover
Zustand: New
Anzahl: Mehr als 20 verfügbar
In den Warenkorb legen