yr 〜
yr

Search results 3

Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings / Bernhard Möller, ed. (Lecture notes in computer science)

Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings / Bernhard Möller, ed. (Lecture notes in computer science)
Paper図書
Springerc1995.<M15-A9763>
National Diet Library
  • Author Heading (ID)00450302

Formal program development : IFIP TC2/WG 2.1 state-of-the-art report / Bernhard Möller, Helmut Partsch, Steve Schuman, (eds.). (Lecture notes in computer science)

Formal program development : IFIP TC2/WG 2.1 state-of-the-art report / Bernhard Möller, Helmut Partsch, Steve Schuman, (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1993.<M159-A146>
National Diet Library
  • Author Heading (ID)00450302

分析的授業モデル

分析的授業モデル
PaperDigital図書障害者向け資料あり
ベルンハルト・メラー 著, 三枝孝弘, 潮木守一, 多田俊文 訳明治図書出版1971<FC51-103>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00450302 00064554 00089106 00076717

Reached to the end of result.