Programming and Mathematical Method
International Summer School
by Manfred Broy
The construction of a software system is a task that has to be structured toensure that the software product fulfills all expectations and the process of producing it remains manageable and reliable. Mathematical methods, including logic, algebra and functional calculus, are needed to support structuring and provide notations and basic formal concepts for the foundations of software engineering. Mathematical methods of programming reflect the need for modularization and abstraction and suggest appropriate goal-directed procedures for the construction of software programs. This volume contains the proceedings of an International Summer School held at Marktoberdorf in 1990, the 11th in a series on mathematical methods in programming. Outstanding scientists contributed papers centered around logical and functional calculi for the specification, refinement and verification of programs and program systems, and remarkable examples for the formal development of proofs and algorithms are given.
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
Programming and Mathematical Method
Oct 12, 1992, Springer My Copy UK
paperback
364277573X 9783642775734
|
zzzz
|
2
Programming and Mathematical Method: International Summer School
1992, Springer Berlin Heidelberg
electronic resource :
in English
3642775748 9783642775741
|
aaaa
|
Book Details
Edition Notes
Online full text is restricted to subscribers.
Also available in print.
Mode of access: World Wide Web.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
| August 3, 2020 | Edited by ImportBot | import existing book |
| July 6, 2019 | Created by MARC Bot | import new book |