Scan barcode
—
G. Winskel
361 pages • first pub 1993 (editions)
ISBN/UID: 9780262231695
Format: Hardcover
Language: English
Publisher: Cambridge, Mass.
Publication date: Not specified
Description
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,...
Community Reviews
Content Warnings
—
G. Winskel
361 pages • first pub 1993 (editions)
ISBN/UID: 9780262231695
Format: Hardcover
Language: English
Publisher: Cambridge, Mass.
Publication date: Not specified
Description
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,...