商品の詳細

• Amazon.co.jp ランキング: #636150 / 本
• 発売日: 1988-04
• 版型: 単行本
• 262 ページ

出版社 / 著者からの内容紹介
形式的論理体系に基づく新しいプログラミング言語を、その基礎理論からプログラミング方法論にわたり、実際の言語をとりあげながら解説した。