It looks like you're offline.

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?

Sort by:

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Random

— Show only ebooks?

Preview

Preview Book
×Close

Data refinement: model-oriented proof methods and their comparison

by W.-P. de Roever, Willem-Paul de Roever, and Kai Engelhardt First published in 1998 — 4 editions

Preview Only

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Concurrency verification: introduction to compositional and noncompositional methods

by W.-P. de Roever, Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, and Job Zwiers First published in 2001 — 3 editions

Locate

My Reading Lists:

Create a new list
A Decade of Concurrency: Reflections and Perspectives. Rex School/Symposium Noordwijkerhout, the Netherlands, June 1 - 4, 1993. Proceedings (Lecture Notes in Computer Science)

by J. W. de Bakker, W.-P. de Roever, Grzegorz Rozenberg, J. W. De Bakker, and W. P. De Roever First published in 1994 — 3 editions

Locate

My Reading Lists:

Create a new list
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings (Lecture Notes in Computer Science)

by J. W. de Bakker, W.-P. de Roever, Grzegorz Rozenberg, J. W. De Bakker, and W. P. De Roever First published in 1990 — 3 editions

Locate

My Reading Lists:

Create a new list
Linear time, branching time, and partial order in logics and models for concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988

by Willem-Paul de Roever, Grzegorz Rozenberg, J. W. de Bakker, and W.-P. de Roever First published in 1989 — 2 editions

Locate

My Reading Lists:

Create a new list
Recursive program schemes: semantics and proof theory

by W.-P. de Roever First published in 1976 — 1 edition

Locate

My Reading Lists:

Create a new list
Data refinement: model-oriented proof methods and their comparison

by W.-P. de Roever First published in 2009 — 1 edition

Locate

My Reading Lists:

Create a new list

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

Born

1943

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL228146A

Links outside Open Library

No links yet. Add one?

History

Created April 1, 2008
2 revisions

Download catalog record: RDF / JSON

September 7, 2008	Edited by RenameBot	fix author name
April 1, 2008	Created by an anonymous user	initial import