検索結果 3 件
デジタル文書・図像類
全国の図書館
- 件名プログラム検証 モデル検査 高階関数 述語論理 型システム 抽象詳細化 時相論理
- 一般注記本課題の目標は、関数型プログラミング言語など、高階関数を含むプログラミング言語で記述......用いられる技術)の手法、2.)高階関数型プログラムのための停止性・活性仕様など時相論理仕様の自動検...
紙図書
国立国会図書館
- 件名分散オペレーテイングシステム 遠隔手続き呼び出し 高階関数 スレツド タプルスペース 二次記憶管理 フアイルシステム ...
検索結果は以上です。