Le livre est actuellement en rupture de stock
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
Semantics with Applications: An Appetizer, Flemming Nielson, Hanne Riis Nielson, Chris Hankin
- Langue
- Année de publication
- 2007
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Il manque plus que ton avis ici.