Palsberg, Jens books & textbook
Modern Compiler Implementation in Java
Cambridge University Press /2002-10-21 Hardcover / 501 Pages
isbn-10: 052182060X / isbn-13: 9780521820608
Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 5700)
Springer /2009-08-28 Paperback / 419 Pages
isbn-10: 3642041639 / isbn-13: 9783642041631
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings (Lecture Notes in Computer Science, 5673)
Springer /2009-07-20 Paperback / 372 Pages
isbn-10: 3642032362 / isbn-13: 9783642032363
Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 3920)
Hermanns, Holger Palsberg, Jens
Springer /2006-03-15 Paperback / 528 Pages
isbn-10: 3540330569 / isbn-13: 9783540330561
Object-Oriented Type Systems
Palsberg, Jens Schwartzbach, Michael I.
Wiley /1994-01T Paperback / 192 Pages
isbn-10: 047194128X / isbn-13: 9780471941286
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science, 5156)
Havelund, Klaus Majumdar, Rupak Palsberg, Jens
Springer /2008-07-25 Paperback / 353 Pages
isbn-10: 3540851135 / isbn-13: 9783540851134
Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings (Lecture Notes in Computer Science, 1824)
Springer /2000-06-14 Paperback / 434 Pages
isbn-10: 3540676686 / isbn-13: 9783540676683
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, ... Computer Science and General Issues)
Springer /2018-01-10 Paperback / 558 Pages
isbn-10: 3319737201 / isbn-13: 9783319737201
