年 〜
年

検索結果 3 件

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

モデルの記述と検証のためのプログラミング入門 : CafeOBJによる仕様検証 (ライブラリ情報学コア・テキスト ; 13)
紙図書
二木厚吉 著サイエンス社2017.9<M159-L1326>
国立国会図書館全国の図書館
  • 著者標目二木, 厚吉, 1948-

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

ソフトウェアクリーンルーム手法 : 高品質ソフトウェア開発パラダイム
紙図書
二木厚吉 監修, 佐藤武久, 大槻繁, 金藤栄孝 著日科技連出版社1997.12<M159-G1811>
国立国会図書館全国の図書館
  • 著者標目二木, 厚吉, 1948- 佐藤, 武久, 1952- 大槻, 繁, 1952- 金藤...

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

関数型プログラミング (コンピュータ・サイエンス研究書シリーズ ; 17)
紙デジタル図書
Peter Henderson 著, 杉藤芳雄, 二木厚吉 訳日本コンピュータ協会1985.7<M159-1911>
インターネットで読める国立国会図書館全国の図書館
  • 著者標目Henderson, Peter, 1944- 杉藤, 芳雄, 1941- 二木, 厚吉, 1948-

検索結果は以上です。