Theoretical foundations of programming methodology

lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra, and C.A.R. Hoare

Locate

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today


Buy this book

Last edited by MARC Bot
December 22, 2024 | History

Theoretical foundations of programming methodology

lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra, and C.A.R. Hoare

This edition doesn't have a description yet. Can you add one?

Buy this book

Edition Availability
Cover of: Theoretical foundations of programming methodology
Theoretical foundations of programming methodology: lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra, and C.A.R. Hoare
1982, D. Reidel, Sold and distributed in the U.S.A. and Canada by Kluwer Boston, Springer
in English

Add another edition?

Book Details


Edition Notes

Includes bibliographies.
Papers presented in 1981 at the Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology, organized under the auspices of the Technical University Munich and sponsored by the NATO Science Committee under the 1981 advanced study institutes program.
"Published in cooperation with NATO Scientific Affairs Division."

Published in
Dordrecht, Holland, Boston, U.S.A, Hingham, MA
Series
NATO advanced study institutes series., v. 91

Classifications

Dewey Decimal Class
001.64/2
Library of Congress
QA76.6 .T446 1982, QA1-939

The Physical Object

Pagination
xiii, 658 p. ;
Number of pages
658

Edition Identifiers

Open Library
OL3492487M
ISBN 10
9027714606, 9027714622
LCCN
82012347
OCLC/WorldCat
8627517
Library Thing
8322537
Goodreads
3922502
5648124

Work Identifiers

Work ID
OL20987147W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
December 22, 2024 Edited by MARC Bot import existing book
May 4, 2023 Edited by ImportBot import existing book
October 21, 2020 Edited by MARC Bot import existing book
October 7, 2020 Edited by ImportBot import existing book
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record