Skip to main content
PBS logo
 
 

Search - Formal Semantics

Formal Semantics
Formal Semantics
Author: Glynn Winskel, Glynn Winskel
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 th...  more »
ISBN-13: 9780262731034
ISBN-10: 0262731037
Publication Date: 2/5/1993
Pages: 384
Rating:
  ?

0 stars, based on 0 rating
Publisher: The MIT Press
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres: