Semantics with Applications: An Appetizer

by

Write The First Customer Review

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.

Semantics with Applications: An Appetizer 2007, Springer, London, England

ISBN-13: 9781846286919

2007 edition

Trade paperback

Select