コール手形に関する法的論点--短期金融市場取引活性化研究会からの検討テーマに関する検討
スポンサーリンク
概要
論文 | ランダム
- オーストラリア南方中央部産の乾燥気候に適応した更新世中期の脊椎動物群集(地球科学の窓)
- B-035 Provably Correct Translation from OTS/CafeOBJ Specifications to Java Programs
- 項書換えを用いた安全性検証の組織化(ソフトウェア工学の基礎)
- 代数仕様言語CafeOBJによる実時間システムの仕様記述と検証の一例 : timed two-process raceの仕様記述と検証
- 代数仕様言語CafeOBJにおける高信頼システムの記述に関する一考察