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
Semantics and Algebraic Specification Semantics and Algebraic Specification
Semantics and Algebraic Specification
2009
Model Checking Software Model Checking Software
Model Checking Software
2008