Jens Palsberg
Jens Palsberg
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Personal name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryVM
Verification, Model Checking, and Abstract Interpretation
cover - Image source: Open LibrarySA
Semantics And Algebraic Specification Essays Dedicated To Peter D Mosses On The Occasion Of His 60th Birthday
cover - Image source: Open LibrarySA
Static Analysis
cover - Image source: Open LibraryMC
Modern compiler implementation in Java
cover - Image source: Open LibrarySA
Static Analysis
cover - Image source: Open LibraryOT
Object-oriented type systems
cover - MCModern Compiler Implementation...Jens Palsberg
Modern Compiler Implementation in Java
no cover - SASemantics and Algebraic Specifi...Jens Palsberg
Semantics and Algebraic Specification
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Verification, Model Checking, and Abstract Interpretation
- Open Work
Semantics And Algebraic Specification Essays Dedicated To Peter D Mosses On The Occasion Of His 60th Birthday
- Open Work
Static Analysis
- Open Work
Modern compiler implementation in Java
- Open Work
Static Analysis
- Open Work
Object-oriented type systems
- Open Work
Modern Compiler Implementation in Java
- Open Work
Semantics and Algebraic Specification