عنوان

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