Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (18 chapters)
-
Front Matter
-
Program Development and Verification
-
Front Matter
-
-
Denotational Semantics
-
Front Matter
-
-
Abstract Data Types
-
Front Matter
-
-
Infinite Structures
-
Front Matter
-
-
Concurrent Programs
-
Front Matter
-
Editors and Affiliations
-
Institut für Informatik der Technischen Universität München, Germany
Manfred Broy, Gunther Schmidt
Bibliographic Information
Book Title: Theoretical Foundations of Programming Methodology
Book Subtitle: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare
Editors: Manfred Broy, Gunther Schmidt
Series Title: Nato Science Series C:
DOI: https://doi.org/10.1007/978-94-009-7893-5
Publisher: Springer Dordrecht
-
eBook Packages: Springer Book Archive
Copyright Information: D. Reidel Publishing Company, Dordrecht, Holland 1982
Hardcover ISBN: 978-90-277-1460-2Due: 31 July 1982
Softcover ISBN: 978-90-277-1462-6Published: 31 July 1982
eBook ISBN: 978-94-009-7893-5Published: 06 December 2012
Series ISSN: 1389-2185
Edition Number: 1
Number of Pages: 672
Topics: Mathematics, general