書名で キーワードで

詳細検索 >>

書籍詳細

  プログラム理論

伊藤貴康 東北大教授 工博 著

発行年月日:1975/02/28 , 判 型: A5,  ページ数:288頁

ISBN:978-4-339-02220-9,  定 価:3,132円 (本体2,900円+税)

計算機のプログラムに関する理論的方法を記述した最初の成書。情報工学,ソフトウェア技術に携わる人達に新しい理論と手法を提供。〔内容〕プログラムの表現法・正当性・意味論・自動作成・代数的手法ほか

在庫は時期によりまして変動することがございますので、ご了承ください。