Programming and Mathematical Method (NATO Asi Series: Series F: Computer & Systems Sciences) Broy, Manfred

ISBN 10: 0387555587 / ISBN 13: 9780387555584

Published by Springer Verlag, 1992

About this Item

Some marks to the cover on both sides. Extremities are worn in places. Inscription to inside page. Content is clean and readable throughout.

Seller Inventory # 117736-4

Bibliographic Details

• Title: Programming and Mathematical Method (NATO Asi Series: Series F: Computer & Systems Sciences) Broy, Manfred
• Publisher: Springer Verlag
• Publication Date: 1992
• Language: English
• ISBN 10: 0387555587
• ISBN 13: 9780387555584
• Binding: Hardcover
• Condition: Good

About this title

Synopsis

The construction of a software system is a task that has to be structured to ensure 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.