The Book Quiver
Create an account
The Formal Semantics of Programming Languages1 / 1
Edition · 1993-02-05 · Softcover

The Formal Semantics of Programming Languages

GWGlynn Winskel
1993
year of publication
384
pages
English (United States)
language
Softcover
cover
Publisher
the_mit_press
ISBN-13
978-02-6273-103-4
EAN
9780262731034
Publication date
1993-02-05
Book
The Formal Semantics of Programming Languages · 1 edition
The publisher on this edition

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