Jump to main content

yr 〜
yr

Search results 22

Programming concepts and methods : PROCOMET '98 : IFIP TC2/WG2.2, 2.3 international conference on programming concepts and methods (PROCOMET '98) : 8-12 June 1998, Shelter Island, New York, USA. : IFIP working conference PROCOMET'98 : June 1998, ------. 1st ed.

Programming concepts and methods : PROCOMET '98 : IFIP TC2/WG2.2, 2.3 international conference on programming concepts and methods (PROCOMET '98) : 8-12 June 1998, Shelter Island, New York, USA. : IFIP working conference PROCOMET'98 : June 1998, ------. 1st ed.
Paper図書
Chapman & Hall1998.<M17-03-2247>
National Diet Library
  • Author Heading..., David, 1939- Roever, W.-P. de. IFIP. TC2 WG2.3 Programming ...

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. (Lecture notes in computer science)

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. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1994.<M15-A9466>
National Diet Library
  • Author HeadingLangmaack, Hans. Roever, W.-P. de. Vytopil, J. (Jan) , 1947- Wo...

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.). (Lecture notes in computer science)

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.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1994.<M15-A9290>
National Diet Library
  • Author Heading...em de) , 1939- Roever, W.-P. de. Rozenberg, Grzegorz

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.). (Lecture notes in computer science)

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.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1993.<M15-A8717>
National Diet Library
  • Author Heading...em de) , 1939- Roever, W.-P. de. Rozenberg, Grzegorz

Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, revised lectures

Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, revised lectures
Paper図書
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingBoer, Frank S. de Bonsangue, Marcello M. Graf, Susanne Roever, W.-P. de FMCO

Formal methods for components and objects : Third International Symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures

Formal methods for components and objects : Third International Symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures
Paper図書
Frank S. de Boer ... [et al.] (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingFMCO Boer, Frank S. de Bonsangue, Marcello M. Graf, Susanne Roever, W.-P. de

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.). (Lecture notes in computer science)

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.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1991.<M15-A7528>
National Diet Library
  • Author Heading...em de) , 1939- Roever, W.-P. de. Rozenberg, Grzegorz

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.). (Lecture notes in computer science)

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.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1990.<M15-A6896>
National Diet Library
  • Author HeadingBakker, J. W. de (Jacobus Willem de) , 1939- Roever, W.-P. de. Rozenberg, Grzegorz

Concurrency verification : introduction to compositional and noncompositional methods

Concurrency verification : introduction to compositional and noncompositional methods
Paper図書
Willem-Paul de Roever ... [et al.]Cambridge University Press2001
Other Libraries in Japan
  • Author HeadingRoever, W.-P. de

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.). (Lecture notes in computer science)

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.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1989.<M15-A5014>
National Diet Library
  • Subject Heading...em de) , 1939- Roever, W.-P. de. Rozenberg, Grzegorz. Paralle...
  • Author Heading...em de) , 1939- Roever, W.-P. de. Rozenberg, Grzegorz School/W...

Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures

Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures
Paper図書
Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)Springerc1998
Other Libraries in Japan
  • Author HeadingCOMPOS Roever, W.-P. de Langmaack, Hans Pnueli, A. (A...

Programming concepts and methods : PROCOMET '98 : IFIP TC2/WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98), 8-12 June 1998, Shelter Island, New York, USA

Programming concepts and methods : PROCOMET '98 : IFIP TC2/WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98), 8-12 June 1998, Shelter Island, New York, USA
Paper図書
edited by David Gries, Willem-Paul de RoeverChapman & Hallc1998
Other Libraries in Japan
  • Author HeadingGries, David Roever, W.-P. de International Federation for ...

Current trends in concurrency : overviews and tutorials / edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg. (Lecture notes in computer science)

Current trends in concurrency : overviews and tutorials / edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1986.<M15-A4311>
National Diet Library
  • Author Heading...em de) , 1939- Roever, W.-P. de. Rozenberg, Grzegorz Dutch Co...

Data refinement : model-oriented proof methods and their comparison : hardback

Data refinement : model-oriented proof methods and their comparison : hardback
Paper図書
Willem-Paul de Roever, Kai Engelhardt ; with the assistance of Karl-Heinz Buth ... [et al.]Cambridge University Press1998
Other Libraries in Japan
  • Author HeadingRoever, W.-P. de Engelhardt, K. (Kai) Buth, Ka...

A decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993 : proceedings : gw : us

A decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993 : proceedings : gw : us
Paper図書
J.W. de Bakker, W.-P. de Roever, G. Rozenberg, (eds.)Springer-Verlagc1994
Other Libraries in Japan
  • Author HeadingREX School/Symposium Bakker, Jacobus Willem de Roever, W.-P. de Rozenberg, Grzegorz

Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings : gw : us

Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings : gw : us
Paper図書
J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)Springer-Verlagc1993
Other Libraries in Japan
  • Author HeadingREX Workshop Bakker, Jacobus Willem de Roever, W.-P. de Rozenberg, Grzegorz

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

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
Paper図書
H. Langmaack, W.-P. de Roever, J. Vytopil, (eds.)Springer-Verlagc1994
Other Libraries in Japan
  • Author Heading...angmaack, Hans Roever, W.-P. de Vytopil, J. Working Group Pro...

Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings : gw : us

Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings : gw : us
Paper図書
J.W. de Bakker, W.P. de Roever, G. Rozenberg, (eds.)Springer-Verlagc1991
Other Libraries in Japan
  • Author HeadingREX School/Workshop Bakker, Jacobus Willem de Roever, W.-P. de Rozenberg, Grzegorz

Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop, Mook, the Netherlands, May 29-June 2, 1989, proceedings : gw : us

Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop, Mook, the Netherlands, May 29-June 2, 1989, proceedings : gw : us
Paper図書
J.W. de Bakker, W.-P. de Roever, G. Rozenberg, edsSpringer-Verlagc1990
Other Libraries in Japan
  • Author HeadingREX Workshop Bakker, Jacobus Willem de Roever, W.-P. de Rozenberg, Grzegorz

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

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
Paper図書
J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)Springer-Verlagc1989
Other Libraries in Japan
  • Subject Heading...Willem), 1939- Roever, W.-P. de Rozenberg, Grzegorz
  • Subject Heading (ID)...Willem), 1939- Roever, W.-P. de Rozenberg, Grzegorz
  • Author HeadingBakker, Jacobus Willem de Roever, W.-P. de Rozenberg, Grzegorz School/Wo...
RSS