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

Willem-Paul de Roever

We need a photo of Willem-Paul de Roever

8 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: Data refinement: model-oriented proof methods and their comparison

    First published in 1998 — 4 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: Concurrency verification: introduction to compositional and noncompositional methods

    First published in 2001 — 3 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: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science)

    First published in 2006 — 3 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: Linear time, branching time, and partial order in logics and models for concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988

    First published in 1989 — 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: Compositionality : the Significant Difference: International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures

    First published in 2003 — 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 techniques in real-time and fault-tolerant systems.

    First published in 1994 — 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 Willem-Paul de Roever

Subjects

Component software, Congresses, Formal methods (Computer science), Object-oriented programming (Computer science), Computer science, Computer software, Parallel processing (Electronic computers), Software engineering, Verification, Approche orientee objet (Informatique), Composants logiciels, Computer Bks - General Information, Computer Science, Computer programs, Computer simulation, Computer software, verification, Computers, Computers - General Information, Computers / Programming / Software Development, Concurrence, Congres, Data Structures, Data structures (Computer scie, Data structures (Computer science), Data structures (computer science)

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL2767851A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
April 29, 2008 Created by an anonymous user initial import