東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(著者名に左の語を含む: #Roever W.-P. de)
該当件数:10件
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.)
Berlin : Springer-Verlag , c1991. - New York. - (Lecture notes in computer science ; 489)
図書
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.)
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 803)
Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings / J. W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)
Berlin : Springer-Verlag , c1993. - Tokyo. - (Lecture notes in computer science ; 666)
Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988 / J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 354)
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 : Springer , c1998. - New York. - (Lecture notes in computer science ; 1536)
Data refinement : model-oriented proof methods and their comparison / W.-P. de Roever, K. Engelhardt ; with the assistance of K.-H. Buth ... [et al.]
New York : Cambridge University Press , 1998
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.)
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 863)
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.)
Berlin : Springer-Verlag , c1990. - Tokyo. - (Lecture notes in computer science ; 430)
Current trends in concurrency : overviews and tutorials / edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg
: gw,: us. - Berlin ; New York : Springer-Verlag , c1986. - (Lecture notes in computer science ; 224)