عنوان

Mathematical Methods in Program Development

(Number (ISBN

3642608582

(Number (ISBN

3642645887

(Number (ISBN

9783642608582

(Number (ISBN

9783642645884

Number

b551026

Title Proper

Mathematical Methods in Program Development

General Material Designation

[Book]

First Statement of Responsibility

edited by Manfred Broy, Birgit Schieder.

Place of Publication, Distribution, etc.

Berlin, Heidelberg

Name of Publisher, Distributor, etc.

Springer Berlin Heidelberg

Date of Publication, Distribution, etc.

1997

Specific Material Designation and Extent of Item

(x, 528 pages)

Series Title

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

Text of Note

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.

Text of Note

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

Parallel Title

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.

Class number

Book number

edited by Manfred Broy, Birgit Schieder.

Birgit Schieder

Manfred Broy

Electronic name

[Book]

Y