文档介绍:TEXTS PUTER SCIENCE
Editors
David Gries
Fred B. Schneider
TEXTS PUTER SCIENCE
Alagar and Periyasamy, Specification of Software Systems
Apt and Olderog, Verification of Sequential and Concurrent Programs,
Second Edition
Back and von Wright, Refinement Calculus
Beidler, Data Structures and Algorithms
Bergin, Data Structure Programming
Brooks, C Programming: The Essentials for Engineers and Scientists
Brooks, Problem Solving with Fortran 90
Dandamudi, Fundamentals anization and Design
Dandamudi, Introduction to Assembly Language Programming
Fitting, First-Order Logic and Automated Theorem Proving, Second Edition
Grillmeyer, puter Science with Scheme
Homer and Selman, Computability plexity Theory
Immerman, plexity
Jalote, An Integrated Approach to Software Engineering, Second Edition
Kozen, Automata putability
(continued after index)
Joseph Migga Kizza
Ethical and Social Issues in the
Information Age
Third Edition
Joseph Migga Kizza
Computer Science and Electrical Engineering
University of Tennessee-Chattanooga
Chatanooga, TN 37403, USA
joseph-******@
Series Editors:
David Gries Fred B. Schneider
Department puter Science Department puter Science
415 Boyd Graduate Studies Research Center Upson Hall
The University of ia Cornell University
Athens, GA 30602-7404, USA Ithaca, NY 14853-7501, USA
ISBN-13: 978-1-84628-658-2 e-ISBN-13: 978-1-84628-659-9
Library of Congress Control Number: 2007922975
British Library Cataloguing in Publication Data
A catalogue record for this book is available from the British Library
© 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 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