Research Catalog

Deductive program design

Title
Deductive program design / edited by Manfred Broy.
Publication
Berlin ; New York : Springer, [1996], ©1996.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.9.D5 D38 1996Off-site

Holdings

Details

Additional Authors
  • Broy, M., 1949-
  • North Atlantic Treaty Organization. Scientific Affairs Division.
  • NATO Advanced Study Institute on Deductive Program Design (1994 : Marktoberdorf, Germany)
Description
viii, 467 pages : illustrations; 24 cm.
Series Statement
NATO ASI series. Series F, Computer and systems sciences ; vol. 152
Uniform Title
NATO ASI series. Series F, Computer and systems sciences ; no. 152.
Subjects
Note
  • "Published in cooperation with NATO Scientific Affairs Division."
  • "Proceedings of the NATO Advanced Study Institute on Deductive Program Design, held in Marktoberdorf, Germany, July 26-August 7, 1994"--T.p. verso.
Bibliography (note)
  • Includes bibliographical references.
Contents
  • On Traditions in Marktoberdorf (Banquet Speech) / F. B. Schneider -- Fibonacci and the Greatest Common Divisor (EWD1077) / E. W. Dijkstra -- The Balance and the Coins (EWD1083) / E. W. Dijkstra -- Bulterman's Theorem on Shortest Trees (EWD1131) / E. W. Dijkstra -- A Prime is in at Most 1 Way the Sum of 2 Squares (EWD1155a) / E. W. Dijkstra -- A Bagatelle on Euclid's Algorithm (EWD1158) / E. W. Dijkstra -- On Two Equations that Have the Same Extreme Solution (EWD1168) / E. W. Dijkstra -- An Alternative of the ETAC to EWD1163 (EWD1169) / E. W. Dijkstra -- The Argument about the Arithmetic Mean and the Geometric Mean, Heuristics Included (EWD1171) / E. W. Dijkstra -- Interaction Categories and the Foundations of Typed Concurrent Programming / S. Abramsky, S. Gay and R. Nagarajan -- Mathematical Models for Computing Science / C. A. R. Hoare -- The Algebra of Programming / R. Bird and O. de Moor -- Data Refinement and the Transform / D. Gries --
  • On TLA as a Logic / M. Abadi and S. Merz -- Specification and Refinement of a Buffer of Length One / M. Broy -- Model Checking / E. Clarke, O. Grumberg and D. Long -- Notes on Proof Outline Logic / F. B. Schneider -- Proof and Design / M. P. Fourman -- A Program Transformation Approach to Asynchronous VLSI Design / A. J. Martin.
ISBN
3540609474 (hardcover : alk. paper)
LCCN
96010788
OCLC
  • 34284086
  • ocm34284086
Owning Institutions
Columbia University Libraries