Semantics with Applications: An Appetizer

Auteurs

• Flemming Nielson
• Hanne Riis Nielson
• Chris Hankin

Paramètres

• 274 pages
• 10 heures de lecture

• Informatique, programmation

En savoir plus sur le livre

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.

Achat du livre

• Année de publication: 2007
• Reliure: (souple)