6 Ebooks bởi Benjamin C. Pierce
Naoki Kobayashi & Benjamin C. Pierce: Theoretical Aspects of Computer Software
This volume constitutes the proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software (TACS 2001) held at Tohoku U- versity, Sendai, Japan in October 2001. The TAC …
PDF
Anh
DRM
€57.96
Benjamin C. Pierce: Advanced Topics in Types and Programming Languages
A thorough and accessible introduction to a range of key ideas in type systems for programming language.The study of type systems for programming languages now touches many areas of computer science, …
PDF
Anh
DRM
€217.64