Jump to main content

yr 〜
yr

Search results 3

プログラミング言語ML (ASCII software science. Language ; 8)

プログラミング言語ML (ASCII software science. Language ; 8)
Paper図書
Jeffrey D.Ullman 著, 神林靖 訳アスキー1996.3<M159-G785>
National Diet LibraryOther Libraries in Japan

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2006 13 (レクチャーノート/ソフトウェア学 ; 32)

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2006 13 (レクチャーノート/ソフトウェア学 ; 32)
Paper図書
沢田篤史, 丸山勝久 編近代科学社2006.11<M159-H1697>
National Diet LibraryOther Libraries in Japan
  • Toc / Article...院大学) 検証／テスト 関数型プログラミング言語MLに対するオブジェクト指向に対応した検証方法の提案と検証支援シ...
  • Contents...頼性モデルの定量的評価 関数型プログラミング言語MLに対するオブジェクト指向に対応......評価（亀井靖高ほか著）　関数型プログラミング言語ＭＬに対するオブジェクト指向に対応した検証方法の提案と検証支援シ...

ASCII software science

ASCII software science
Paper図書
アスキー
Other Libraries in Japan
  • Related Materialプログラミング言語ML dRubyによる分散オブジェクトプログラミング Perl書...

Reached to the end of result.

RSS