JavaScript を有効にしてご利用下さい.
文字サイズ
古書を探す
アダルト商品の検索を行う場合、18歳未満の方のご利用は固くお断りします。 あなたは18歳以上ですか?
代数仕様アプローチによる制的モデル検査手法の研究 <科学研究費補助金(基盤研究C)研究成果報告書>
研究代表者 中島震、国立情報学研究所、2008.6
117p 30cm