Jens Palsberg

Books

Modern Compiler Implementation in Java Modern Compiler Implementation in Java
Modern Compiler Implementation in Java
2002
Semantics and Algebraic Specification Semantics and Algebraic Specification
Semantics and Algebraic Specification
2009
Model Checking Software Model Checking Software
Model Checking Software
2008