Logic for applications
Anil Nerode, Richard A. Shore.
Bok Engelsk 1997
Utgitt | New York : : Springer, , c1997.
|
---|---|
Omfang | xiii, 456 p. : : ill. ;
|
Utgave | 2nd ed.
|
Emner | |
Dewey | 005.1 . - 005.1/01/5113
|
ISBN | 0387948937 (New York : hc : acid-free paper)
|
Utgitt | New York : : Springer, , c1997.
|
---|---|
Omfang | xiii, 456 p. : : ill. ;
|
Utgave | 2nd ed.
|
Emner | |
Dewey | 005.1 . - 005.1/01/5113
|
ISBN | 0387948937 (New York : hc : acid-free paper)
|