Set Theory for Computing
From Decision Procedures to Declarative Programming with Sets
【シリーズ】Monographs in Computer Science
【出版社 】SPRINGER-VERLAG
【発行年度】2001 【冊数】1 【頁数】409 【判型・装丁】8vo hard
【現品状態】
少擦れ傷、小口や表面にへこみ、見返しに剥がし跡、少汚れ有、本文数ページにマーカーライン書き込み有。
【ISBN】0387951970
￥5,000 税込