Exercises
Exercises marked with √ have been done in earlier chapters.
- PDF / 18,951,077 Bytes
- 257 Pages / 504.567 x 720 pts Page_size
- 66 Downloads / 206 Views
Editors
David Gries Fred B. Schneider Advisory Board F.L. Bauer S.D. Brookes C.E. Leiserson M. Sipser
Texts and Monographs in Computer Science Suad Alagic Object-Oriented Database Programming 1989. XV, 320 pages, 84 illus. Suad Alagic Relational Database Technology 1986. XI, 259 pages, 114 illus. Suad Alagic and Michael A. Arbib The Design of Well-Structured and Correct Programs 1978. X, 292 pages, 68 illus. S. Thomas Alexander Adaptive Signal Processing: Theory and Applications 1986. IX, 179 pages, 42 iIIus. Krzysztof R. Apt and Ernst-Rudiger Olderog Verification of Sequential and Concurrent Programs 1991. XVI, 441 pages Michael A. Arbib, A.J. Kfoury, and Robert N. Moll A Basis for Theoretical Computer Science 1981. VIII, 220 pages, 49 iIIus. Friedrich L. Bauer and Hans Wossner Algorithmic Language and Program Development 1982. XVI, 497 pages, 109 illus. W. Bischofberger and G. Pomberger Prototyplng-Orlented Software Development: Concepts and Tools 1992. XI,215 pages, 89 illus. Ronald V. Book and Friedrich Otto String-Rewriting Systems 1993. VII, 200 pages Kaare Christian A Guide to Modula-2 1986. XIX, 436 pages, 46 illus. Edsger W. Dijkstra Selected Writings on Computing: A Personal Perspective 1982. XVII, 362 pages, 13 illus.
(continued after index)
A Practical Theory of Programming Eric C.R. Hehner
Springer Science+Business Media, LLC
Eric C.R. Hehner Department of Computer Science University of Toronto Toronto, Ontario M5S 1A4 Canada
Series Editors: David Gries Department of Computer Science Cornell University Upson Hali Ithaca, NY 14853-7501 USA
Fred B. Schneider Department of Computer Science Cornell University Upson Hali Ithaca, NY 14853-7501 USA
With ten iIIustrations.
Library of Congress Cataloging-in-Publication Data Hehner, Eric C. R. A practical theory of programming I Eric C.R. Hehner. p. cm. - (Texts and monographs in computer science) Includes bibliographical references and index. ISBN 978-1-4612-6444-6 ISBN 978-1-4419-8596-5 (eBook) DOI 10.1007/978-1-4419-8596-5 1. Programming (Electronic computers). 1. Title. II. Series. QA76.6.H428 1993 005.1-dc20 93-5269 Printed on acid-free paper.
© 1993 Springer Science+Business Media New York Originally published by Springer-Verlag New York, Inc. in 1993 Softcover reprint of the hardcover 1st edition 1993 AII rights reserved. This work may not be translated or copied in whole or in part without the written permission of the publisher (Springer Science+Business Media, LLC), except for brief excerpts in connection with reviews or scholarly analysis. Use in connection with any form of information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed is forbidden. The use of general descriptive names, trade names, trademarks, etc., in this publication, even if the former are not especially identified, is not to be taken as a sign that such names, as understood by the Trade Marks and Merchandise Marks Act, may accordingly be used freely byanyone. Camera-ready copy pre
Data Loading...
