Logical Frameworks and Meta-Languages
de Sam Staton
Ediciones (1)
- Logical Frameworks and Meta-Languages (2017)
Association for Computing Machinery · inglés · ISBN 9781450353748
de Sam Staton
Association for Computing Machinery · inglés · ISBN 9781450353748