Search results 3
Digital文書・図像類
Other Libraries in Japan
- Subject Headingプログラム検証 モデル検査 高階関数 述語論理 型システム 抽象詳細化 時相論理
- Note (General)本課題の目標は、関数型プログラミング言語など、高階関数を含むプログラミング言語で記述......用いられる技術)の手法、2.)高階関数型プログラムのための停止性・活性仕様など時相論理仕様の自動検...
Paper図書
National Diet Library
- Subject Heading分散オペレーテイングシステム 遠隔手続き呼び出し 高階関数 スレツド タプルスペース 二次記憶管理 フアイルシステム ...