x dismiss this message
Did you know you can edit this page?
-
Sign Into Shelfari
-
Choose something to edit
-
Save your contributions
see page history
Description edit
The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about... read more
Ridiculously Simplified Synopsis edit
Authors & Contributors edit
- G. Winskel (Author)
Classification edit
- Library of Congress: Add the Library of Congress Classification.
- Dewey: 005.131
Subjects edit
- Books › Computers & Internet › Programming › Software Design, Testing & Engineering › Software Development
- Books › Computers & Internet › Programming › Languages & Tools
- Books › Professional & Technical › Professional Science › Mathematics
- Books › Computers & Internet › Programming › Introductory & Beginning
- Books › Computers & Internet › Software
Popular Tags
We’re hiding the errata, movie connections, books that influenced this book, books influenced by this book, books that cite this book and books cited by this book sections. If you would like to add content to them, you must first make them visible.
