検索結果 「著者：伊藤 貴康」検索結果 絞り込み 情報工学 在庫あり 在庫僅少 立ち読みあり 電子版あり 教科書向け レビューあり ※書籍在庫がない場合でも電子版がある場合があります。電子版ありにチェックをつけてください。 再検索 さらに詳細に絞り込む 1件中 1件 - 1件 表示順 発行年月日降順 発行年月日昇順 表示件数 15件 30件 50件 100件 1 プログラム理論 伊藤 貴康 東北大教授 著 計算機のプログラムに関する理論的方法を記述した最初の成書。情報工学，ソフトウェア技術に携わる人達に新しい理論と手法を提供。〔内容〕プログラムの表現法・正当性・意味論・自動作成・代数的手法ほか 発行年月日 1975/02/28 定価 3,190円(本体2,900円+税) ISBN 978-4-339-02220-9 品切･重版未定 詳細を見る 1件中 1件 - 1件 1
プログラム理論 伊藤 貴康 東北大教授 著 計算機のプログラムに関する理論的方法を記述した最初の成書。情報工学，ソフトウェア技術に携わる人達に新しい理論と手法を提供。〔内容〕プログラムの表現法・正当性・意味論・自動作成・代数的手法ほか 発行年月日 1975/02/28 定価 3,190円(本体2,900円+税) ISBN 978-4-339-02220-9 品切･重版未定 詳細を見る
