Robert Paige, J.H. Reif, Ralph Wachter-Parallel Algorithm Derivation and Program Transformation-Springer (1993).pdf

(13174 KB) Pobierz
1015500844.002.png
PARALLEL ALGORITHM
DERIVATION AND PROGRAM
TRANSFORMATION
1015500844.003.png
THE KLUWER INTERNATIONAL SERIES
IN ENGINEERING AND COMPUTER SCIENCE
OFFICE OF NAVAL RESEARCH
Advanced Book Series
Consulting Editor
Andre M. van Tilborg
Other titles in the series:
FOUNDATIONS OF KNOWLEDGE ACQUISITION: Cognitive Models of
Complex Learnin , edited by Susan Chipman and Alan L. Meyrowitz
ISBN: 0-5923-9277-9
FOUNDATIONS OF KNOWLEDGE ACQUISITION: Machine Learning,
edited by Alan L. Meyrowitz and Susan Chipman
ISBN: 0-7923-9278-7
FOUNDATIONS OF REAL-TIME COMPUTING: Formal Specifications
and Methods, edited by AndrB M. van Tilborg and Gary M. Koob
ISBN: 0-7923-9167-5
FOUNDATIONS OF REAL-TIME COMPUTING: Scheduling andResource
Management, edited by AndrB M. van Tilborg and Gary M. Koob
ISBN: 0-7923-9166-7
1015500844.004.png
PARALLEL ALGORITHM
DERIVATION AND PROGRAM
TRANSFORMATION
edited
by
Robert Paige
New York University
Jehu Reif
Duke Universiry
Ralph Wachter
Ofice of
Nova1 Research
KLUWER ACADEMIC PUBLISHERS
Boston i Dordrecht / London
1015500844.005.png
Distributors for North America:
Kluwer Academic Publishers
101 Philip Drive
Assinippi Park
Norwell. Massachusetts 02061 USA
Distributors for all other countries:
Kluwer Academic Publishers Group
Distribution Centre
Post Office Box 322
3300 AH Dordrecht, THE NETHERLANDS
Library of Congress Cataloging-in-PublicationData
Parallel algorithm derivation and program transformation 1 edited by
Robert Paige, John Reif, Ralph Wachter.
p. cm. -- (The Kluwer international series in engineering and
computer science ; SECS 0231)
Includes bibliographical references and index.
ISBN 0-7923-9362-7
1. Parallel programming (Computer science)
2. Computer
algorithms.
I. Paige, Robert A.
11. Reif, J. H. (John H.)
111. Wachter, R. F.
IV. Series
QA76.642.P35
1993
93-1687
CIP
Copyright (D 1993 by Kluwer Academic Publishers
All rights reserved. No part of this publication may be reproduced, stored in
a retrieval system or transmitted in any form or by any means, mechanical,
photo-copying, recording, or otherwise, without the prior written permission of
the publisher, Kluwer Academic Publishers, 101 Philip Drive, Assinippi Park,
Norwell, Massachusetts 02061
Printed on acid-free paper.
Printed in the United States of America
1015500844.001.png

Plik z chomika:

Inne pliki z tego folderu:

Inne foldery tego chomika:

Zgłoś jeśli naruszono regulamin