by: Timothy T.R. Colburn · J.H. Fetzer · R.L. Rankin
Hardcover
details (Italy).
(see also: Copertina rigida)
details (Spain - España).
(see also: Tapa dura)
ISBN: 978-0-7923-1965-8
ISBN-10: 0-7923-1965-6
Springer · 1993
|
|
by: Timothy T.R. Colburn · J.H. Fetzer · R.L. RankinHardcover
details (Italy). details (Spain - España).
ISBN: 978-0-7923-1965-8 ISBN-10: 0-7923-1965-6 Springer · 1993 |
| See also: | ||
| 2012 | Paperback | Program Verification: Fundamental Issues in Computer Science (Studies in Cognitive Systems) |