yr 〜
yr

Search results 3

モデルの記述と検証のためのプログラミング入門 : CafeOBJによる仕様検証 (ライブラリ情報学コア・テキスト ; 13)

モデルの記述と検証のためのプログラミング入門 : CafeOBJによる仕様検証 (ライブラリ情報学コア・テキスト ; 13)
Paper図書
二木厚吉 著サイエンス社2017.9<M159-L1326>
National Diet LibraryOther Libraries in Japan
  • Author Heading二木, 厚吉, 1948-

ソフトウェアクリーンルーム手法 : 高品質ソフトウェア開発パラダイム

ソフトウェアクリーンルーム手法 : 高品質ソフトウェア開発パラダイム
Paper図書
二木厚吉 監修, 佐藤武久, 大槻繁, 金藤栄孝 著日科技連出版社1997.12<M159-G1811>
National Diet LibraryOther Libraries in Japan
  • Author Heading二木, 厚吉, 1948- 佐藤, 武久, 1952- 大槻, 繁, 1952- 金藤...

関数型プログラミング (コンピュータ・サイエンス研究書シリーズ ; 17)

関数型プログラミング (コンピュータ・サイエンス研究書シリーズ ; 17)
PaperDigital図書
Peter Henderson 著, 杉藤芳雄, 二木厚吉 訳日本コンピュータ協会1985.7<M159-1911>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author HeadingHenderson, Peter, 1944- 杉藤, 芳雄, 1941- 二木, 厚吉, 1948-

Reached to the end of result.