It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by RenameBot
August 27, 2008 | History
Edit

Jens Palsberg

We need a photo of Jens Palsberg

10 works Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings (Lecture Notes in Computer Science)

    First published in 2000 — 2 editions
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

    First published in 2008 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

    First published in 2009 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings

    First published in 2006 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Polyvariant analysis of the untyped lambda calculus

    First published in 1992 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

    First published in 2018 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Semantics And Algebraic Specification Essays Dedicated To Peter D Mosses On The Occasion Of His 60th Birthday

    First published in 2009 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

    First published in 2009 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Object-oriented type systems

    First published in 1994 — 1 edition
    Preview Only

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Modern Compiler Implementation in Java

    First published in 2002 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Jens Palsberg

Subjects

Computer science, Congresses, Programming languages (Electronic computers), Software engineering, Computer programming, Logic design, Programming languages (electronic computers), Algebra, Algebraische Spezifikation, Artificial intelligence, Aufsatzsammlung, Compilers (Computer programs), Computer science, mathematics, Computer software, development, Data processing, Formale Methode, Java, Java (Computer program language), Mathematics, Network programming, Object-oriented programming (Computer science), Programmiersprache, Programming - general & miscellaneous, Semantics, Semantik

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL717735A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
August 27, 2008 Edited by RenameBot fix author name
April 1, 2008 Created by an anonymous user initial import