It looks like you're offline.

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?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

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)

by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem-Paul de Roever First published in 2004
7 editions

Locate

My Reading Lists:

Use this Work
Create a new list

Create a new list
×Close

Name:

Description:

Cancel
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, 1 ebook

Preview Only

My Reading Lists:

Use this Work
Create a new list
Preview

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)

by Marcello M. Bonsangue, Susanne Graf, and Willem-Paul de Roever First published in 2006
3 editions, 1 ebook

Preview Only

My Reading Lists:

Use this Work
Create a new list
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:

Use this Work
Create a new list
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)

by Frank S. de Boer, Marcello Bonsangue, Susanne Graf, and Willem-Paul de Roever First published in 2003
2 editions

Locate

My Reading Lists:

Use this Work
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:

Use this Work
Create a new list
Compositionality : the Significant Difference: International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures

by Willem-Paul de Roever, Hans Langmaack, and Amir Pnueli First published in 2003
1 edition

Locate

My Reading Lists:

Use this Work
Create a new list
Formal techniques in real-time and fault-tolerant systems.

by Hans Langmaack, Willem-Paul de Roever, and Jan Vytopil First published in 1994
1 edition

Locate

My Reading Lists:

Use this Work
Create a new list

We need a photo of Willem-Paul de Roever

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL2767851A

Links outside Open Library

No links yet. Add one?

Download catalog record: RDF / JSON