Programming languages: Build, prove, and compare

Ramsey, Norman

---

ISBN

978-1-107-18018-5

Publisher

Cambridge University Press

Publication Year

2023

Language

en