The Formal Semantics of Programming Languages: An Introduction - Paperback
$87.99
Quantity
01
Pay over time for orders over $35.00 with
Availability:In StockContributor:Glynn WinskelSeries:Foundations of ComputingAudience:Young AdultPublish date:1993-02-05Pages:384
Language:EnglishPublisher:MIT PressISBN-13:9780262731034ISBN-10:262731037UPC:9780262731034Book Category:ComputersBook Subcategory:Languages, Programming, Computer ScienceSize:9.04 x 6.92 x 0.70 inchesWeight:1.5719Product ID:SCBPVX6Y2F
The Formal Semantics of Programming Languages: An Introduction
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, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of the topics covered...
Series: Foundations of Computing
Audience: Young Adult
Language:EnglishPublisher:MIT PressISBN-13:9780262731034ISBN-10:262731037UPC:9780262731034Book Category:ComputersBook Subcategory:Languages, Programming, Computer ScienceSize:9.04 x 6.92 x 0.70 inchesWeight:1.5719Product ID:SCBPVX6Y2F
Glynn Winskel is Professor of Computer Science at the University of Aarhus, Denmark.
Publisher: MIT Press
Contributor(s)
Author
Free shipping on orders over $75. Standard shipping takes 3-7 business days. Returns accepted within 30 days of purchase.