W. P. De Roever

No bio available. Add one in Open Library.

Books by W. P. De Roever (50 max)

+ shelf+ 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)

1990

J. W. de Bakker, W.-P. de Roever, Grzegorz Rozenberg, J. W. De Bakker, W. P. De Roever

+ shelf+ list

Foundations of Object-Oriented Languages: Rex School/Workshop, Noordwijkerhout, the Netherlands, May 28 - June 1, 1990 (Lecture Notes in Computer Science)

1991

REX School/Workshop (1990 Noordwijkerhout, Netherlands), J. W. De Bakker, W. P. De Roever

+ shelf+ list

Real-time, theory in practice: REX Workshop, Mook, the Netherlands, June 3-7, 1991 : proceedings

1992

REX Workshop (1991 Mook, Netherlands), J. W. De Bakker, C. Huizing, W. P. De Roever

+ shelf+ list

Semantics: Foundations and Applications: REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings (Lecture Notes in Computer Science)

1993

REX Workshop (1992 Beekbergen, Netherlands), J. W. De Bakker, W. P. De Roever

+ shelf+ list

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

1994

J. W. de Bakker, W.-P. de Roever, Grzegorz Rozenberg, J. W. De Bakker, W. P. De Roever

+ shelf+ list

Formal techniques in real-time and fault-tolerant systems: third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings

1994

W. P. De Roever

+ shelf+ list

Current Trends in Concurrency: Overviews and Tutorials (Lecture Notes in Computer Science)

1986

J. W. de Bakker, W. P. De Roever, Grzegorz Rozenberg