M. Broyの本

6冊

著者名の一致で集めています。同じ名前の別の方が混じることがあります。

• Perspectives of system informatics : 5th international Andrei Ershov memorial conference, PSI 2003 : Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 : revised papers. : Jul 2003, Novosibirsk, Russia
  Perspectives of system informatics : 5th international Andrei Ershov memorial conference, PSI 2003 : Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 : revised papers. : Jul 2003, Novosibirsk, Russia2003-01-01
• Perspectives of system informatics : 4th international Andrei Ershov memorial conference, PSI 2001 : Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers. : Jul 2001, Akademgorodok, Russia
  Perspectives of system informatics : 4th international Andrei Ershov memorial conference, PSI 2001 : Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers. : Jul 2001, Akademgorodok, Russia2001-01-01
• KORSO : methods, languages, and tools for the construction of correct software : final report / Manfred Broy, Stefan Jähnichen, eds
  KORSO : methods, languages, and tools for the construction of correct software : final report / Manfred Broy, Stefan Jähnichen, eds1995-01-01
• Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings / Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)
  Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings / Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)1993-01-01
• Methods of programming : selected papers on the CIP-project / M. Broy, M. Wirsing (eds.)
  Methods of programming : selected papers on the CIP-project / M. Broy, M. Wirsing (eds.)1991-01-01
• Theoretical foundations of programming methodology : lecture notes of an international summer school / directed by F.L. Bauer, E.W. Dijkstra, and C.A.R. Hoare ; lecturers, M. Broy ... [et al.] ; edited by Manfred Broy and Gunther Schmidt
  Theoretical foundations of programming methodology : lecture notes of an international summer school / directed by F.L. Bauer, E.W. Dijkstra, and C.A.R. Hoare ; lecturers, M. Broy ... [et al.] ; edited by Manfred Broy and Gunther Schmidt1982-01-01