Iain D. Craig, MA, PhD, FBCF, CITP
Series editor
Ian Mackie
École Polytechnique and King’s College London, UK
Advisory board
Samson Abramsky, University of Oxford, UK
Chris Hankin, Imperial College London, UK
Dexter Kozen, Cornell University, USA
Andrew Pitts, University of Cambridge, UK
Hanne Riis Nielson, Technical University of Denmark, Denmark
Steven Skiena, Stony Brook University, USA
Iain Stewart, University of D urham, UK
David Zhang, The Hong Kong Polytechnic University, Hong Kong
British Library Cataloguing in Publication Data
A catalogue record for this book is available from the British Library
Library of Congress Control Number: 2007921522
Undergraduate Topics in Computer Science ISSN 1863-7310
ISBN-10: 1-84628-773-1 e-ISBN-10: 1-84628-774-X
ISBN-13: 978-1-84628-773-2 e-ISBN-13: 978-1-84628-774-9
Printed on acid-free paper
© Springer-Verlag London Limited 2007
Apart from any fair dealing for the purposes of research or private study, or criticism or review, as permitted
under the Copyr ight, Designs and Patents Act 1988, this publication may only be reproduced, stored or
transmitted, in any form or by any means, with the prior permission in writing of the publishers, or in
the case of reprographic reproduction in accordance with the terms of licences issued by the Copyright
Licensing Agency. Enquiries concerning reproduction outside those terms should be sent to the publishers.
The use of registered names, trademarks, etc. in this publication does not imply, even in the absence of a
specific statement, that such names are exempt from the relevant laws and regulations and therefore free
for general use.
The publisher makes no representation, express or implied, with regard to the accuracy of the information
contained in this book and cannot accept any legal responsibilit y or liability for any errors or omissions
that may be made.
987654321
Springer Science+Business Media
springer.com
