Jens Palsberg
Jens Palsberg
4 ספרים במאגר
ספרים
Static AnalysisJens Palsberg
Static Analysis
Jens Palsberg · 2000
Static AnalysisJens Palsberg
Static Analysis
Jens Palsberg · 2009
Semantics And Algebraic Specification Essays Dedicated To Peter D Mosses On The Occasion Of His 60th BirthdayJens Palsberg
Semantics And Algebraic Specification Essays Dedicated To Peter D Mosses On The Occasion Of His 60th Birthday
Jens Palsberg · 2009
Semantics and Algebraic SpecificationJens Palsberg
Semantics and Algebraic Specification
Jens Palsberg · 2009
ספרים משותפים ואוספים
ספרים שבהם Jens Palsberg מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Modern compiler implementation in JavaAndrew W. Appel
Modern compiler implementation in Java
Andrew W. Appel · 2002
Verification, Model Checking, and Abstract InterpretationIsil Dillig
Verification, Model Checking, and Abstract Interpretation
Isil Dillig · 2018
Model Checking SoftwareKlaus Havelund
Model Checking Software
Klaus Havelund · 2008
Tools and Algorithms for the Construction and Analysis of SystemsHolger Hermanns
Tools and Algorithms for the Construction and Analysis of Systems
Holger Hermanns · 2006