Theory and Formal Methods 1993: Proceedings of the First Imperial College Depart
75,36 €
1: Overview and Introductory Papers. - The Abstract Interpretation of Functional Languages. - Deriving Category Theory from Type Theory. - Graph Rewriting Systems and Abstract Interpretation. - 2: Research Papers.
Jetzt bei Ebay:
