Knihu momentálně nemáme skladem
Více o knize
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.
Nákup knihy
Semantics with Applications: An Appetizer, Flemming Nielson, Hanne Riis Nielson, Chris Hankin
- Jazyk
- Rok vydání
- 2007
- product-detail.submit-box.info.binding
- (měkká)
Jakmile se objeví, pošleme e-mail.
Doručení
Platební metody
Tady nám chybí tvá recenze.