文字サイズ

  • 小
  • 中
  • 大

古書を探す

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

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

書籍データ

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

著者名:佐藤雅彦研究代表他の作品を見る

出版社:佐藤雅彦

発売日:1996.3

202p 30cm

ISBN:

リクエストを送る

白い巨塔60年 - 山崎豊子、社会派文学を中心に

眩人
眩人
¥2,030
しぶちん
しぶちん
¥2,000

バック・トゥ・ザ・フューチャー40年 - SF映画の魅力

Film Posters
Film Posters
¥2,000
Oh!SF映画
Oh!SF映画
¥1,000
超SF映画
超SF映画
¥2,750