BjørnerD.(Dines)の本

2冊

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

• 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
• 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