Logic for applications / Anil Nerode, Richard A. Shore.
Material type: TextSeries: Graduate texts in computer science (Springer-Verlag New York Inc.)Publication details: New York : Springer, c1997.Edition: 2nd edDescription: xiii, 456 p. : ill. ; 24 cmISBN:- 0387948937 (New York : hc : acidfree paper)
- 9780387948935
- 005.1015113
Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
General Lending | Carlow Campus Library General Lending | 005.1015113 (Browse shelf(Opens below)) | 1 | Available | 27011 |
Includes bibliographical references (p. [409]-438) and indexes.
20.00