by Timothy R. Colburn
Paperback
ISBN: 978-94-010-4789-0
ISBN-10: 94-010-4789-8
Springer · 2012
|
|
by Timothy R. ColburnPaperback
ISBN: 978-94-010-4789-0 ISBN-10: 94-010-4789-8 Springer · 2012 |
| See also: | ||
| 1993 | Hardcover | Program Verification: Fundamental Issues in Computer Science (Studies in Cognitive Systems) |