Het boek is momenteel niet op voorraad
Meer over het boek
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.
Een boek kopen
Semantics with Applications: An Appetizer, Flemming Nielson, Hanne Riis Nielson, Chris Hankin
- Taal
- Jaar van publicatie
- 2007
- product-detail.submit-box.info.binding
- (Paperback)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
We missen je recensie hier.