Paperback
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.
The Formal Semantics of Programming Languages
An Introduction
$197.07
- Paperback
384 pages
- Release Date
5 February 1993
Check Delivery Options
Summary
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 are drawn from recent research, including the vital area of concurency. The book contains many exerc…
Book Details
| ISBN-13: | 9780262731034 |
|---|---|
| ISBN-10: | 0262731037 |
| Author: | Glynn Winskel |
| Publisher: | MIT Press Ltd |
| Imprint: | MIT Press |
| Format: | Paperback |
| Number of Pages: | 384 |
| Release Date: | 5 February 1993 |
| Weight: | 590g |
| Dimensions: | 229mm x 178mm x 17mm |
| Series: | Foundations of Computing |
You Can Find This Book In
About The Author
Glynn Winskel
Glynn Winskel is Professor of Computer Science at the University of Aarhus, Denmark.
Returns
This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.