|
" Mathematical Methods in Program Development "
edited by Manfred Broy, Birgit Schieder.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
731240
|
| Doc. No
|
:
|
b551026
|
| Main Entry
|
:
|
edited by Manfred Broy, Birgit Schieder.
|
| Title & Author
|
:
|
Mathematical Methods in Program Development\ edited by Manfred Broy, Birgit Schieder.
|
| Publication Statement
|
:
|
Berlin, Heidelberg: Springer Berlin Heidelberg, 1997
|
| Series Statement
|
:
|
NATO ASI series., Series F,, Computer and systems sciences ;, 158.
|
| Page. NO
|
:
|
(x, 528 pages)
|
| ISBN
|
:
|
3642608582
|
|
|
:
|
: 3642645887
|
|
|
:
|
: 9783642608582
|
|
|
:
|
: 9783642645884
|
| Contents
|
:
|
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.
|
| Abstract
|
:
|
Proceedings of the NATO Advanced Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30 - August 11, 1996
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Logic design.
|
| Subject
|
:
|
Software engineering.
|
| LC Classification
|
:
|
QA76.6E358 1997
|
| Added Entry
|
:
|
Birgit Schieder
|
|
|
:
|
Manfred Broy
|
| Parallel Title
|
:
|
Proceedings of the NATO Advanced Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30 - August 11, 1996
|
| |