|
von: Anil Nerode · Richard A. ShoreGebunden
ISBN: 978-3-540-94129-3 ISBN-10: 3-540-94129-0 |
| Siehe auch: | ||
| 1997 | Hardcover | Logic for Applications (Texts in Computer Science) |
| 1993 | Hardcover | Logic for Applications (Texts & Monographs in Computer Science) |