عنوان

Mathematical Methods in Program Development

3642608582

3642645887

9783642608582

9783642645884

b551026

Mathematical Methods in Program Development

[Book]

edited by Manfred Broy, Birgit Schieder.

Berlin, Heidelberg

Springer Berlin Heidelberg

1997

(x, 528 pages)

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

Eliminating the Chaff --;Again: Banquet Speech at Marktoberdorf 1996 --;Envoi at Marktoberdorf 1996 --;0. Designing Proofs and Programs --;Heuristics for a Very Simple Euclidean Proof (EWD1180) --;Complete DAGs (EWD1204) --;A Result of Rabbit Removal (EWD1208) --;For the Record: Painting the Squared Plane (EWD1212) --;The Marriage Agency (EWD1214) --;Courtesy Dr. Birgit Schieder (EWD1215) --;WLOG, or the Misery of the Unordered Pair (EWD1223) --;My Simplest Theorem (EWD1232) --;The Transitive Closure of a Wellfounded Relation (EWD1241) --;The Formula for sin. (a + /?) (EWD1244a) --;A Kind of Converse of Leibniz's Principle (EWD1245) --;The Strengths of the Academic Enterprise (EWD1175) --;On a Method for the Formal Design of Multiprograms --;Foundations for Calculational Logic --;1. Examples of Protocol Design --;Specification and Design of a Transmission Protocol by Successive Refinements Using B --;Formal Derivation of a Protocol in CSP --;2. Languages and Models for Program Design --;Genesis of Algorithmic Languages --;Mathematical Methods in System and Software Engineering --;Unified Theories of Programming --;3. Programming Paradigms --;On the Relationship Between Classes, Objects and Data Abstraction --;The Oz Programming Model --;A Foundation for Higher-order Concurrent Constraint Programming --;4. Mechanical Proof Assistance --;Tool Support for Logics of Programs --;Machine-Assisted Verification Using Theorem Proving and Model Checking.

Proceedings of the NATO Advanced Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30 - August 11, 1996

Proceedings of the NATO Advanced Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30 - August 11, 1996

Computer science.

Logic design.

Software engineering.

edited by Manfred Broy, Birgit Schieder.

Birgit Schieder

Manfred Broy

[Book]

Y