Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-26 of 26 results for author "Roever, W.-P. de, 1943-"
Current trends in concurrency : overviews and tutorials / edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg.
- Text
- Berlin ; New York : Springer-Verlag, c1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text JSE 86-1592 Offsite Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989, proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg, (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JSF 90-598 Offsite Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings / J.W. de Bakker, W.P. de Roever, G. Rozenberg, (eds.).
- Text
- Berlin ; New York : Springer-Verlag, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSF 91-500 Offsite Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings / J.W. de Baker, W.-P. de Roever, G. Rozenberg (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 04-111 Offsite 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 / H. Langmaack, W.-P. de Roever, J. Vytopil, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSE 95-20 Offsite A Decade of concurrency : reflections and perspectives : REX school/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993 : proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg, (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSE 94-1768 Offsite Compositionality : the significant difference : international symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997 : revised lectures / Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.).
- Text
- Berlin ; New York : Springer, c1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text JSE 99-373 Offsite Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings / J.W. de Bakker, W.P. de Roever, G. Rozenberg, (eds.).
- Text
- Berlin ; New York : Springer-Verlag, 1991.
- 1991
Geschriften over het geslacht de Roever / bijeengebr. door W.P. de Roever Sr.
- Text
- [S.l. : s.n.], 1974.
- 1974
- 1 Item
Item details Format Call Number Item Location Text NYGB G D 4475 Schwarzman Building - Milstein Division Room 121 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings / J.W. de Baker, W.P. de Roever, G. Rozenberg, eds.
- Text
- Berlin ; New York : Springer-Verlag, [1993], ©1993.
- 1993-1993
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .R49 1992 Off-site A Decade of concurrency : reflections and perspectives : REX school/symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993 : proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds.
- Text
- Berlin ; New York : Springer-Verlag, 1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA76.58 .D43 1994 Off-site 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 / H. Langmaack, W.-P. de Roever, J. Vytopil, eds.
- Text
- Berlin ; New York : Springer-Verlag, [1994], ©1994.
- 1994-1994
- 1 Item
Item details Format Call Number Item Location Text QA76.54 .F66 1994 Off-site Concurrency verification : introduction to compositional and noncompositional methods / Willem-Paul de Roever [and others].
- Text
- Cambridge, UK ; New York, NY, USA : Cambridge University Press, 2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text QA76.58 .C6643 2001 Off-site Current trends in concurrency : overviews and tutorials / edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg.
- Text
- Berlin ; New York : Springer-Verlag, [1986], ©1986.
- 1986-1986
- 1 Item
Item details Format Call Number Item Location Text QA76.5 .C795 1986 Off-site Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg, (eds.).
- Text
- Berlin ; New York : Springer-Verlag, [1990], ©1990.
- 1990-1990
- 1 Item
Item details Format Call Number Item Location Text QA76.9.D5 S75 1990 Off-site Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings / J.W. de Bakker, W.P. de Roever, G. Rozenberg, (eds.)
- Text
- Berlin ; New York : Springer-Verlag, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA76.64 .R49 1990 Off-site Current trends in concurrency : overviews and tutorials / edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg.
- Text
- 1986
- 1 Item
Item details Format Call Number Item Location Text QA76.5 .C795 1986 Off-site Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg, (eds.).
- Text
- 1990
- 1 Item
Item details Format Call Number Item Location Text QA76.9.D5 S75 1990 Off-site Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings / J.W. de Bakker, W.P. de Roever, G. Rozenberg, (eds.)
- Text
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA76.64.R49 1990 Off-site Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings / J.W. de Baker, W.P. de Roever, G. Rozenberg, eds.
- Text
- 1993
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .R49 1992 Off-site A Decade of concurrency : reflections and perspectives : REX school/symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993 : proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA76.58 .D43 1994 Off-site 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 / H. Langmaack, W.-P. de Roever, J. Vytopil, (eds.).
- Text
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA76.54 .F66 1994 Off-site Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds.
- Text
- Berlin ; New York : Springer-Verlag, ©1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text QA76.9.D5 S75 1990 Off-site Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings / J.W. de Bakker, W.P. de Roever, G. Rozenberg, (eds.)
- Text
- Berlin ; New York : Springer-Verlag, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA76.64 .R49 1990 Off-site Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings / J.W. de Baker, W.P. de Roever, G. Rozenberg (eds.).
- Text
- Berlin ; New York : Springer-Verlag, ©1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .R49 1992 Off-site A decade of concurrency : reflections and perspectives : REX school/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993 : proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg, (eds.).
- Text
- Berlin ; New York : Springer-Verlag, ©1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA76.58 .D43 1994 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
Explore Digital Research Books Beta