文字サイズ

  • 小
  • 中
  • 大

古書を探す

「構成的プログラミングを実現する証明、検証、合成システム」の検索結果

絞込み検索を表示
年から 年※単一年を探す場合 1995～1995

（例）初版　函　帯　など
￥ から￥
件

詳細検索についての注意事項

  • 複数条件での絞込検索が可能です。検索条件をスペースで区切って入力してください。
表示順
出版社
コンパクト表示 すべて表示
件
現在、お探しの書籍は登録されておりません。

書誌カタログの検索結果


「日本の古本屋」に参加している950店以上の古書店に、入荷依頼のリクエストを送ることができます。
構成的プログラミングを実現する証明・検証・合成システム

構成的プログラミングを実現する証明・検証・合成システム

平成7年度科学研究費補助金(一般研究B)研究成果報告書(課題番号06452387)

佐藤雅彦研究代表、佐藤雅彦、1996.3

202p 30cm

  • リクエストを送る

広辞苑70年 - 辞典辞書、百科事典

Gメン'75放送50年 - 刑事ドラマを中心に

大都会　3
大都会　3
 ￥2,200