FRETE GRÁTIS para o Sul e Sudeste nas compras acima de R$ 89,00; para o Centro-Oeste e Nordeste, nas compras acima de R$ 109,00; e, para o Norte, nas compras acima de R$ 139,00 - Confira o regulamento
This is a broad but rigorous survey of the theory underlying computer programming languages. It shows how a wide variety of language concepts can be designed cleanly, defined precisely, used effectively, and implemented correctly. The mathematical development is balanced by numerous examples of applications such as program specification and proof, concurrent programming, functional programming, and type systems. Assuming only knowledge of elementary programming and elementary mathematics, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory, researchers and professionals.