著者典拠情報

標目形：
Bakker, Jacobus Willem de, 1939-
属性：
Personal
日付：
1939-
から見よ参照形：
Bakker, Jaco de, 1939-
De Bakker, J. W.
Bakker, J. W. de
注記：
Author's Formal definition of programming languages, 1967
His Mathematical theory of program correctness, c1980: t.p. (Jaco de Bakker)
b. 1939
著者典拠ID：
DA00322801


 close
1.

図書
図書
1. Control flow semantics
Jaco de Bakker and Erik de Vink
出版情報: Cambridge, Mass. : MIT Press, c1996
シリーズ名: Foundations of computing
所蔵情報: loading…
2.

図書
図書
2. 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
所蔵情報: loading…
3.

図書
図書
3. 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
所蔵情報: loading…
4.

図書
図書
4. Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings (: gw ; : us)
J.W. de Bakker ... [et al.], eds
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 600
所蔵情報: loading…
5.

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

図書
図書
6. 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
所蔵情報: loading…
7.

図書
図書
7. 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
所蔵情報: loading…
8.

図書
図書
8. Languages for parallel architectures : design, semantics, implementation models
edited by J.W. de Bakker
出版情報: Chichester ; New York : Wiley, c1989
シリーズ名: Wiley series in parallel computing
所蔵情報: loading…
9.

図書
図書
9. PARLE : parallel architectures and languages Europe, Eindhoven, The Netherlands, June 15-19, 1987 : proceedings (v. 1 : gw - v. 2 : us)
edited by J.W. de Bakker, A.J. Nijman and P.C. Treleaven
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 258-259
所蔵情報: loading…
10.

図書
図書
10. 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
所蔵情報: loading…