Algebra of Programming (Prentice-Hall International Series in Computer Science)
- Prentice Hall (1996年9月26日発売)
本棚登録 : 8人
感想 : 1件
本ページはアフィリエイトプログラムによる収益を得ています
- Amazon.co.jp ・洋書 (295ページ)
- / ISBN・EAN: 9780135072455
感想・レビュー・書評
-
教員からのコメント：関数型言語で書かれたプログラムの検証に関する古典で、今後ますます重要になるプログラムの検証を学ぶときに必要な１冊。
0
詳細をみるコメント0件をすべて表示
全1件中 1 - 1件を表示
RichardBirdの作品
