文档介绍：John Cooke
Constructing Correct
Software
Second Edition
With 100 Figures
~ Springer
John Cooke, BSc,PhD, CEng, CMath
Department puter Studies, Loughborough University, Loughborough,
Leicester, LEI I 3TU, UK
British Library Cataloguing in Publication Data
Cooke, John, 1947-
Constructing correct software. - 2nd ed.
1. Software engineering 2. Computer software - Development
3. Formal methods (Computer science)
ISBN 1852338202
Library of Congress Cataloging-in-Publication Data
Cooke, John, 1947-
Constructing correct software / John Cooke.
p. em. -- (Formal approaches puting and information technology)
Includes bibliographical references and index.
ISBN 1-85233-820-2 (alk. paper)
puter software--Development. 2. Formal methods (Computer science) I. Title. II.
Series.
--dc22 2004050410
Apart from any fair dealing for the purposes of research or private study, or criticism or review, as
permitted under the Copyright, 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.
ISBN 1-85233-820-2 2nd edition Springer-Verlag London Berlin Heidelberg
ISBN 3-540-76156-X 1st edition Springer-Verlag London Berlin Heidelberg
Springer Science-sBusiness Media
© Springer-Verlag London Limited 2005
Printed in the United States of America
First published 1998
Second edition 2005
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, exp