- イベント
『プログラミング言語の形式的意味論入門』サポートサイトのご案内
このたびは、『プログラミング言語の形式的意味論入門』をお求めいただき誠にありがとうございました。
本書の最新の正誤情報については、以下よりご確認ください。
https://ksuenaga.github.io/winskel-textbook-jp/
※訳者によるサポートサイトに遷移します。
お問い合わせは、お問い合わせフォームよりお知らせください。
理工・医学・人文社会科学の専門書出版社
このたびは、『プログラミング言語の形式的意味論入門』をお求めいただき誠にありがとうございました。
本書の最新の正誤情報については、以下よりご確認ください。
https://ksuenaga.github.io/winskel-textbook-jp/
※訳者によるサポートサイトに遷移します。
お問い合わせは、お問い合わせフォームよりお知らせください。