The Book Quiver
Authors/Glynn Winskel/The Formal Semantics of Programming Langua…
The Formal Semantics of Programming Languages
Book profileEnglish (United States)
Book · 1 edition

The Formal Semantics of Programming Languages

1993
first published
English
language
1
edition in English
384
pages

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...

Editions

1 edition · sort: newest