Semantics engineering with PLT Redex /
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt.
- Cambridge, Mass. : MIT Press, c2009.
- xii, 502 p. : il. ; 24 cm.
Incluye referencias bibliográficas e indice.
9780262062756
Logics and meanings of programs. Software engineering. Mathematical logic. Formal languages Lógica y significado de programas. Ingenieria de software. Lógica matemática. Lenguajes formales.