by: Anil Nerode · Richard A. Shore
Hardcover
ISBN: 978-0-387-94893-5
ISBN-10: 0-387-94893-7
Springer · 1997
|
|
by: Anil Nerode · Richard A. ShoreHardcover
ISBN: 978-0-387-94893-5 ISBN-10: 0-387-94893-7 Springer · 1997 |
| See also: | ||
| 1993 | Hardcover | Logic for Applications (Texts & Monographs in Computer Science) |
| 1993 | Gebundene Ausgabe | Logic for Applications (Texts and Monographs in Computer Science) |