JavaScript を有効にしてご利用下さい.
文字サイズ
古書を探す
アダルト商品の検索を行う場合、18歳未満の方のご利用は固くお断りします。 あなたは18歳以上ですか?
組み込みソフトへの数理的アプローチ : 形式手法によるソフトウェアの仕様記述と検証 <COMPUTER TECHNOLOGY>
藤倉俊幸 著、CQ、2012.4
247p 24cm
978-4-7898-3808-5