↓ Skip to main content

Mathematical Methods in Program Development

Overview of attention for book
Cover of 'Mathematical Methods in Program Development'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Eliminating the Chaff—Again Banquet Speech at Marktoberdorf 1996
  3. Altmetric Badge
    Chapter 2 Envoi at Marktoberdorf 1996
  4. Altmetric Badge
    Chapter 3 Heuristics for a very simple Euclidean proof (EWD1180)
  5. Altmetric Badge
    Chapter 4 Complete DAGs (EWD1204)
  6. Altmetric Badge
    Chapter 5 A result of rabbit removal (EWD1208)
  7. Altmetric Badge
    Chapter 6 For the record: painting the squared plane (EWD1212)
  8. Altmetric Badge
    Chapter 7 The marriage agency (EWD1214)
  9. Altmetric Badge
    Chapter 8 Courtesy Dr. Birgit Schieder (EWD1215)
  10. Altmetric Badge
    Chapter 9 WLOG, or the misery of the unordered pair (EWD1223)
  11. Altmetric Badge
    Chapter 10 My simplest theorem (EWD1232)
  12. Altmetric Badge
    Chapter 11 The transitive closure of a wellfounded relation (EWD1241)
  13. Altmetric Badge
    Chapter 12 The formula for sin.(α + β) (EWD1244a)
  14. Altmetric Badge
    Chapter 13 A kind of converse of Leibniz’s Principle (EWD1245)
  15. Altmetric Badge
    Chapter 14 The strengths of the academic enterprise (EWD1175)
  16. Altmetric Badge
    Chapter 15 On a Method for the Formal Design of Multiprograms (AvG140/WF231)
  17. Altmetric Badge
    Chapter 16 Foundations for Calculational Logic
  18. Altmetric Badge
    Chapter 17 Specification and Design of a Transmission Protocol by Successive Refinements Using B 1
  19. Altmetric Badge
    Chapter 18 Formal Derivation of a Protocol in CSP
  20. Altmetric Badge
    Chapter 19 Genesis of Algorithmic Languages
  21. Altmetric Badge
    Chapter 20 Mathematical Methods in System and Software Engineering
  22. Altmetric Badge
    Chapter 21 Unified Theories of Programming
  23. Altmetric Badge
    Chapter 22 On the relationship between classes, objects and data abstraction
  24. Altmetric Badge
    Chapter 23 The Oz Programming Model
  25. Altmetric Badge
    Chapter 24 A Foundation for Higher-order Concurrent Constraint Programming
  26. Altmetric Badge
    Chapter 25 Tool Support for Logics of Programs
  27. Altmetric Badge
    Chapter 26 Machine-Assisted Verification Using Theorem Proving and Model Checking
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
2 Wikipedia pages

Readers on

mendeley
4 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Mathematical Methods in Program Development
Published by
Springer Berlin Heidelberg, December 2012
DOI 10.1007/978-3-642-60858-2
ISBNs
978-3-64-264588-4, 978-3-64-260858-2
Editors

Broy, Manfred, Schieder, Birgit

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 4 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 4 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 25%
Student > Bachelor 1 25%
Researcher 1 25%
Student > Master 1 25%
Readers by discipline Count As %
Business, Management and Accounting 1 25%
Computer Science 1 25%
Earth and Planetary Sciences 1 25%
Physics and Astronomy 1 25%