Nielson, Hanne Riis
Semantics with applications : an appetizer
- New Delhi Springer 2007
- xii, 274p.
- Undergraduate topics in computer science .
Includes bibliographical references and index
9788184897487
Axiomatic semantics
Denotational semantics
Operational semantics
Semantics Program semantics