a ISBN 3-540-63195-X

a Original cataloging agency NEU GrandLibrary

a Classification number QA76.6

b Item number .M3648 1997

a Dewey Classification 005.1/01/51

a Title Mathematical methods in program development /

c Statement of responsibility, etc edited by Manfred Broy, Birgit Schieder.

h Medium BOOK

a Place of publication, distribution, etc Berlin ;

a Place of publication, distribution, etc New York :

b Name of publisher, distributor, etc Springer,

c Date of publication, distribution, etc 1997.

a Extent viii, 528 p. ;

c Dimensions 24 cm.

a Series statement NATO ASI series. Series F, Computer and systems sciences ;

v Volume number/sequential designation no. 158

a General note "Proceedings of the NATO Advances Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30-August 11, 1996"--T.p. verso.

a Bibliography, etc Includes bibliographical references.

a Formatted contents note Eliminating the Chaff - Again: Banquet Speech at Marktoberdorf 1996 / D. Gries -- Envoi at Marktoberdorf 1996 / C. A. R. Hoare -- E. W. Dijkstra -- Heuristics for a Very Simple Euclidean Proof -- Complete DAGs -- A Result of Rabbit Removal -- For the Record: Painting the Squared Plane -- The Marriage Agency -- Courtesy Dr. Birgit Schieder -- WLOG, or the Misery of the Unordered Pair -- My Simplest Theorem -- The Transitive Closure of a Wellfounded Relation -- The Formula for sin.([alpha] + [beta]) -- A Kind of Converse of Leibniz's Principle -- The Strengths of the Academic Enterprise -- W. H. J. Feijen and A. J. M. van Gasteren -- On a Method for the Formal Design of Multiprograms -- D. Gries -- Foundations for Calculational Logic -- J.-R. Abrial and L. Mussat -- Specification and Design of a Transmission Protocol by Successive Refinements Using B -- B. von Karger -- Formal Derivation of a Protocol in CSP -- F. L. Bauer -- Genesis of Algorithmic Languages -- M. Broy -- Mathematical Methods in System and Software Engineering -- C. A. R. Hoare -- Unified Theories of Programming -- K. Fisher and J. C. Mitchell -- On the Relationship Between Classes, Objects and Data Abstraction -- G. Smolka -- The Oz Programming Model -- A Foundation for Higher-order Concurrent Constraint Programming -- L. C. Paulson -- Tool Support for Logics of Programs -- N. Shankar -- Machine-Assisted Verification Using Theorem Proving and Model Checking.

a Topical term or geographic name as entry element Computer programming.

a Topical term or geographic name as entry element Computer software

a Personal name Broy, M.,

d Dates associated with a name 1949-

a Personal name Schieder, Birgit.

a Uniform title NATO ASI series.