Home > Authors > Jens Palsberg

Jens Palsberg

All books by Jens Palsberg

(Displaying 2 Books)

Semantics And Algebraic Specification Essays Dedicated To Peter D Mosses On The Occasion Of His 60th Birthday

Semantics And Algebraic Specification Essays Dedicated To Peter D Mosses On The Occasion Of His 60th Birthday

Jens Palsberg

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Isil Dillig

Looking for another book by Jens Palsberg? Search for the book by title.