Book
The Formal Semantics of Programming Languages
Provides the basic mathematical techniques necessary for those who are beginning a study of semantics and logics of programming languages. Although the treatment is elementary, several of the topics covered are drawn from recent research, including the area of concurrency. «
Score:
Reviews:
Times tipped:
Times read:
Author(s):
Category:
ISBN
9780262731034
Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Reviews of The Formal Semantics of Programming Languages by Glynn Winskel
There are no reviews for this book yet.
Idea box
