Textbook

Books Price Comparison (Including Amazon) - Guaranteed Lowest Prices on Books


 

Formal Semantics of Programming Languages

 
 
 
 
Formal Semantics of Programming Languages
Author: Glynn Winskel
ISBN 13: 9780262731034
ISBN 10: 262731037
Edition: N/A
Publisher: The MIT Press
Publication Date: 1993-02-05
Format: Paperback
Pages: 384
List Price: $66.00
 
 

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.

Booknews

Based on lectures given at Cambridge and Aarhus Universities, this introductory text is primarily addressed to undergraduate and graduate students in computer science and mathematics beginning a study of the methods used to formalize and reason about programming languages. It provides the mathematical background necessary to invent, formalize, and justify rules with which to reason about a variety of programming languages. Annotation c. Book News, Inc., Portland, OR (booknews.com)