کتاب های Hanne Riis Nielson
Principles of Program Analysis
Flemming Nielson, Hanne Riis Nielson, Chris Hankin (auth.), 1999
Formal Methods. An Appetizer
Flemming Nielson, Hanne Riis Nielson, 2019
Formal Methods. An Appetizer
Flemming Nielson, Hanne Riis Nielson, 2019
Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings
Cliff B Jones (auth.), Hanne Riis Nielson (eds.), 1996
Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings
Cliff B Jones (auth.), Hanne Riis Nielson (eds.), 1996
Semantics with applications : an appetizer
Hanne Riis Nielson, 2007
Semantics with applications: a formal introduction
Hanne Riis Nielson, 1999
Semantics with Applications: An Appetizer
Hanne Riis Nielson, 2007
Semantics with Applications: An Appetizer
Hanne Riis Nielson, 2007
Semantics with applications: an appetizer
Hanne Riis Nielson, 2007
Semantics with Applications: An Appetizer
Hanne Riis Nielson, 2007
