It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by MARC Bot
June 29, 2019 | History
Edit

Dirk Pattinson

We need a photo of Dirk Pattinson

3 works Add another?

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

  • Cover of: Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers (Lecture Notes in Computer Science)

    First published in 2003 — 2 editions
    Borrow Listen

    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: Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

    First published in 2022 — 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: Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers

    First published in 2012 — 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 Dirk Pattinson

Subjects

Computer science, Abstract data types (Computer science), Computation by Abstract Devices, Computer science, mathematics, Computer software, Computer software, development, Congresses, Development, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Mathematics, Probability and Statistics in Computer Science

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL7557691A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
June 29, 2019 Created by MARC Bot import new book