Dynamic Logic (Hard)


【著者名　】David Harel /Dexter Kozen /Jerzy Tiuryn

【シリーズ】Foundations of Computing

【出版社　】MIT Press


【発行年度】2000　 【冊数】1　 【頁数】459　 【判型・装丁】6to hard 変

【現品状態】
少汚れ。カバー日焼け擦れ。本文概ね良好。

【ISBN】0262082896

￥3,000 税込

数量