検索条件
著者情報:Roever, W.-P. de.
選択行を:
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
1 | | Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings Berlin : alk. paper , New York : alk. paper ( Lecture notes in computer science ; 489 ) | 中央図書館 | J.W. de Bakker, W.P. de Roever, G. Rozenberg, (eds.). | Springer-Verlag | 1991 | 中央5階洋 007.1||L 49||489 |
2 | | Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988 U.S. : alk. paper ( Lecture notes in computer science ; 354 ) | 中央図書館 | J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds. | Springer-Verlag | 1989 | 中央5階洋 007.1||L 49||354 |
3 | | Current trends in concurrency : overviews and tutorials U.S. : pbk. ( Lecture notes in computer science ; 224 ) | 中央図書館 | edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg. | Springer-Verlag | 1986 | 中央5階洋 007.1||L 49||224 |
4 | | Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings Berlin : acid-free paper , New York : acid-free paper ( Lecture notes in computer science ; 430 ) | 中央図書館 | J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds. | Springer-Verlag | 1990 | 中央5階洋 007.1||L 49||430 |
選択行を
|