It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by ImportBot
July 30, 2014 | History
Edit

Frank S. de Boer

We need a photo of Frank S. de Boer

5 works Add another?

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

  • Cover of: Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures (Lecture Notes in Computer Science)

    First published in 2004 — 7 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: Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

    First published in 2010 — 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: Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (Lecture Notes in Computer Science)

    First published in 2003 — 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: Verification of Sequential and Concurrent Programs

    First published in 2010 — 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: Formal Methods for Components and Objects Lecture Notes in Computer Science

    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
We need a photo of Frank S. de Boer

Subjects

Component software, Computer science, Congresses, Formal methods (Computer science), Object-oriented programming (Computer science), Logic design, Object-oriented programming (computer science), Operating systems (Computers), Software engineering, Computer software, Formale Methode, Komponente (Software), Komponente <Software>, Logics and Meanings of Programs, Objektorientierung, Operating Systems, Programming Languages, Compilers, Interpreters, Programming Techniques, Software Engineering/Programming and Operating Systems, Softwareentwicklung, System design, Kongress, Miniature objects, Software Engineering

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL7212397A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
July 30, 2014 Created by ImportBot import new book