Salta al contingut principal

Logical Frameworks

Logical Frameworks

Autor: Huet/Plotkin
Matèria: Computer Science; Programming Languages and Applied Logic
Editor: Cambridge University Press
Data publicació: 1991
Identificador: 9780511569807
Col·lecció: Computer Science and Information Technology
Accés