Cover image for Rippling [electronic resource] : meta-level guidance for mathematical reasoning / Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland.
Rippling [electronic resource] : meta-level guidance for mathematical reasoning / Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland.
Title:
Rippling [electronic resource] : meta-level guidance for mathematical reasoning / Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland.
Publisher:
Cambridge, UK ; New York : Cambridge University Press,
Publication Date:
2005
ISBN:
9780511113383

9780511111853

9780511112874

9780511181528
Series:
Cambridge tracts in theoretical computer science ;
Volume:
56.
Bibliography Note:
Includes bibliographical references (pages 193-199) and index.
Volume:
56.
Language:
English