検索結果 13 件
紙図書
国立国会図書館
- 件名鉄道車両と橋梁の連成振動 / 地震 / 数値計算法 / マルチボディダイナミックス / 車輪とレール間の衝撃 / プログラム開発 / プログラム検証
紙図書
国立国会図書館
- 件名ソフトウェアセキュリティ / 安全なメールシステム / 安全な情報基盤 / プログラム検証 / プログラム言語処理系 / オペレーティングシステム
デジタル文書・図像類
全国の図書館
- 件名プログラム検証 定理証明 オブジェクト指向 データ管理領域
- 一般注記本研究では、データ管理領域に焦点を当て、プログラム検証を自動化する手法を提案した。データ管理システムに特有の繰り返...
検索結果は以上です。