Jens Palsberg

Books
Principles and Practices of Building Parallel Software Principles and Practices of Building Parallel Software
Principles and Practices of Building Parallel Software
2025
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