Scan barcode
384 pages • first pub 1993 (editions)
ISBN/UID: 9780262731034
Format: Paperback
Language: English
Publisher: MIT Press
Publication date: 05 February 1993
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
384 pages • first pub 1993 (editions)
ISBN/UID: 9780262731034
Format: Paperback
Language: English
Publisher: MIT Press
Publication date: 05 February 1993
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