The book is currently out of stock
More about the book
This book provides a rigorous introduction to the formal semantics of programming languages. Coverage includes the fundamental ideas behind these approaches, stresses their relationship by formulating and proving the relevant theorems, and illustrates the applications of semantics in computer science.
Book purchase
Semantics with Applications: An Appetizer, Flemming Nielson, Hanne Riis Nielson, Chris Hankin
- Language
- Released
- 2007
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
We’re missing your review here.