Logic for applications / Anil Nerode and Richard A. Shore

By:

Contributor(s):

Material type: Text

TextSeries: Graduate texts in computer science. 99-1232373-4 Publication details: New York Springer 1997Edition: 2. edDescription: 456 sISBN:

Subject(s):

DDC classification:

Other classification:

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Book (loan)	Campus Karlskrona	005.1	Available		40000009429

Includes bibliographical references and index

S. 409-438: Bibl