by: Alan Bundy · David Basin · Dieter Hutter · Andrew Ireland
Hardcover
ISBN: 978-0-521-83449-0
ISBN-10: 0-521-83449-X
Cambridge University Press · 2005
|
|
by: Alan Bundy · David Basin · Dieter Hutter · Andrew IrelandHardcover
ISBN: 978-0-521-83449-0 ISBN-10: 0-521-83449-X Cambridge University Press · 2005 |
| See also: | ||
| 2009 | Printed Access Code | Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science) |