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