Concurrency Verification
Introduction to Compositional and Noncompositional Methods
【シリーズ】Cambridge Tracts in Theoretical Computer Science 54
【出版社 】Cambridge University Press
【発行年度】2001 【冊数】1 【頁数】776 【判型・装丁】8vo hard
【現品状態】
カド擦れ・少日焼け。本文概ね良好。
【ISBN】0521806089
￥4,000 税込
関連カテゴリ