NEU Grand Library | TRNC Library


	NEU GRAND LIBRARY Opening Hours: Monday-Saturday, 08:00-20:00 \| E-mail: library@neu.edu.tr

You are not logged in

Show Basket

Home

Advanced Search

Back

Add to Basket

Brief display

MARC Display

Reserve

Mathematical methods in program development /

Bibliographical information (record 339194)

Mathematical methods in program development /
Publisher:	Springer,
ISBN:	354063195X
Edition:	1997.
Classification:	QA76.6
Dewey:	005.1/01/51

Additional related names

Broy, M.,

Schieder, Birgit.

Detailed notes

- "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.

- Includes bibliographical references.

- 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.