Logic for applications /

Saved in:
書目詳細資料
主要作者: Nerode, Anil
其他作者: Shore, Richard A.
格式: 圖書
語言:英语
出版: New york : Springer-Verlag, 1997.
版:2nd ed.
叢編:Graduate texts in computer science
主題:
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!
實物特徵
實物描述:456 P. ; 25 cm.
參考書目:Includes bibliographical references and index.
ISBN:0387948937