It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited by RenameBot
September 7, 2008 | History
Edit

W.-P. de Roever

We need a photo of W.-P. de Roever

Born 1943

7 works Add another?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

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

  • Cover of: Data refinement: model-oriented proof methods and their comparison

    First published in 1998 4 editions in 1 language — 1 previewable
    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 in 1 language
    Not in Library

    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: A Decade of Concurrency: Reflections and Perspectives. Rex School/Symposium Noordwijkerhout, the Netherlands, June 1 - 4, 1993. Proceedings (Lecture Notes in Computer Science)

    First published in 1994 3 editions in 1 language — 1 previewable
    Not in Library

    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: Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings (Lecture Notes in Computer Science)

    First published in 1990 3 editions in 1 language — 1 previewable
    Not in Library

    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 in 1 language — 1 previewable
    Not in Library

    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: Recursive program schemes: semantics and proof theory

    First published in 1976 1 edition in 1 language
    Not in Library

    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 2009 1 edition in 1 language — 1 previewable
    Not in Library

    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 W.-P. de Roever

Born 1943
Subjects
Parallel processing (Electronic computers), Verification, Computer programs, Computer simulation, Congresses, Data structures (Computer science), Data structures (computer science), Distributed processing, Electronic data processing, Computer Bks - General Information, Computer Science, Computer software, Computer software, verification, Computers, Computers - General Information, Computers / Programming / Software Development, Concurrence, Data Structures, Data structures (Computer scie, Database Management - General, Databases & data structures, Electronic data processing, distributed processing, Logique temporelle, Mathematical theory of computation, Modélisation

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL228146A

Links (outside Open Library)

No links yet. Add one?

History

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