Jump to main content

yr 〜
yr

Search results 5

From object-orientation to formal methods : essays in memory of Ole-Johan Dahl

From object-orientation to formal methods : essays in memory of Ole-Johan Dahl
Paper図書
Olaf Owe, Stein Krogdahl, Tom Lyche (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingOwe, Olaf Krogdahl, Stein Lyche, Tom Dahl, Ole-Johan

Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers

Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers
Paper図書
Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (eds.)Springerc1996
Other Libraries in Japan
  • Author Heading...agne Owe, Olaf Dahl, Ole-Johan COMPASS Workshop

Verifiable programming

Verifiable programming
Paper図書
Ole-Johan DahlPrentice Hall1992
Other Libraries in Japan
  • Author HeadingDahl, Ole-Johan

Structured programming

Structured programming
Paper図書
O.-J. Dahl, E.W. Dijkstra, C.A.R. HoareAcademic Press1972
Other Libraries in Japan
  • Author HeadingDahl, Ole-Johan Dijkstra, Edsger Wybe Hoare, ...

構造化プログラミング (サイエンスライブラリ. 情報電算機 ; 32)

構造化プログラミング (サイエンスライブラリ. 情報電算機 ; 32)
PaperDigital図書障害者向け資料あり
E.W.ダイクストラ, C.A.R.ホーア, O.-J.ダール 共著, 野下浩平, 川合慧, 武市正人 共訳サイエンス社1975<M159-264>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author Heading...Richard, 1934- Dahl, Ole-Johan, 1931- 野下, 浩平 川合, 慧, 1944- 武市...

Reached to the end of result.

RSS