Logic for applications / Anil Nerode, Richard A. Shore.
Saved in:
Main Author: | |
---|---|
Other Authors: | |
Format: | Book |
Language: | English |
Published: |
New York :
Springer,
c1997.
|
Edition: | 2nd ed. |
Series: | Graduate texts in computer science
|
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Item Description: | Previous edition: 1993 |
---|---|
Physical Description: | xiii, 456 p. : ill. ; 24 cm. |
Bibliography: | Includes bibliographical references (p. [409]-438) and indexes |
ISBN: | 0387948937 |