著者典拠情報

著者標目形：
Roever, W.-P. de, 1943-
属性：
Personal
日付：
1943
から見よ参照形：
Roever, Willem-Paul de
De Roever, W.-P
注記：
Current trends in concurrency, c1986: CIP t.p. (W.-P. de Roever) t.p. verso (Dept. of Computing Science, Eindhoven Univ. of Technology, Eindhoven, The Netherlands) data sheet (de Roever, Willem-Paul, Prof. Dr.; b. 6/21/43)
LC data base, 5/13/86 (hdg.: Roever, W. P. de)
著者典拠ID：
DA00322834


1.

図書
図書
1. Concurrency verification : introduction to compositional and noncompositional methods
Willem-Paul de Roever ... [et al.]
出版情報: Cambridge ; New York : Cambridge University Press, 2001
シリーズ名: Cambridge tracts in theoretical computer science ; 54
所蔵情報: 研究室
2.

図書
図書
2. 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.)
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1536
所蔵情報: 図書館
3.

図書
図書
3. Data refinement : model-oriented proof methods and their comparison
Willem-Paul de Roever, Kai Engelhardt ; with the assistance of Karl-Heinz Buth ... [et al.]
出版情報: New York : Cambridge University Press, 1998
シリーズ名: Cambridge tracts in theoretical computer science ; 47
所蔵情報: 図書館
4.

図書
図書
4. A decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993 : proceedings (: gw ; : us)
J.W. de Bakker, W.-P. de Roever, G. Rozenberg, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 803
所蔵情報: 図書館
5.

図書
図書
5. Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings (: gw ; : us)
J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 666
所蔵情報: 図書館
6.

図書
図書
6. Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings (: Berlin ; : New York)
J.W. de Bakker, W.P. de Roever, G. Rozenberg, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 489
所蔵情報: 図書館
7.

図書
図書
7. Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop, Mook, the Netherlands, May 29-June 2, 1989, proceedings (: gw ; : us)
J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 430
所蔵情報: 図書館
8.

図書
図書
8. Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988 (: gw ; : us)
J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 354
所蔵情報: 図書館
9.

図書
図書
9. Current trends in concurrency : overviews and tutorials (: gw ; : us)
edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg
出版情報: Berlin ; New York : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 224
所蔵情報: 図書館
updating availability status information…