کتاب‌های Jens Palsberg - BookPine

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, ... Computer Science and General Issues)

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, ... Computer Science and General Issues)

Isil Dillig

Semantics and Algebraic Specification

Semantics and Algebraic Specification

Jens Palsberg

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on His 60th Birthday

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on His 60th Birthday

Jens Palsberg

Static Analysis

Static Analysis

Jens Palsberg

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings

Jens Palsberg

Modern Compiler Implementation in C

Modern Compiler Implementation in C

Andrew W. Appel

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

Klaus Havelund

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European ...

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European ...

Holger Hermanns

Modern Compiler Implementation in Java

Modern Compiler Implementation in Java

Andrew W. Appel

Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings

Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings

Jens Palsberg

Object-Oriented Type Systems

Object-Oriented Type Systems

Jens Palsberg

Modern Compiler Implementation in ML

Modern Compiler Implementation in ML

Andrew W. Appel

Modern Compiler Implementation in C

Modern Compiler Implementation in C

Andrew W. Appel

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

Jens Palsberg

Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, Ca, USA, June 29 - July 6, 2000, Proceedings

Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, Ca, USA, June 29 - July 6, 2000, Proceedings

Jens Palsberg