プログラムの合成・変換・検証に関する知識の説明に基づく学習とリフォーメーション

書籍データ

平成6年度科学研究費補助金[一般研究(C)]研究成果報告書

著者名：研究代表者 栗原正仁他の作品を見る

出版社：北海道大学工学部

発売日：1995.3

62p 30cm

ISBN：