中古あり ￥10,657より
(2025/11/17 03:51:25時点)
Games and Full Abstraction for a Functional Metalanguage With Recursive Types (Distinguished Dissertations)
お気に入り図書館の蔵書
設定
詳しい情報
出版社: Springer(1999-01-15)
ハードカバー: 189 ページ / 15.9 x 1.9 x 24.1 cm
ISBN-10: 3540762558 ISBN-13: 9783540762553