Articles liés à Programming and Mathematical Method
Synopsis
Book by None
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Programming and Mathematical Method
Image d'archives
Programming and Mathematical Method (NATO Asi Series: Series F: Computer & Systems Sciences) Broy, Manfred
ISBN 10 : 0387555587
ISBN 13 : 9780387555584
Ancien ou d'occasion
Couverture rigide
Vendeur : Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. Light marks to the cover on both sides. Inscriptions to the front of the book. Content is clean and readable throughout. N° de réf. du vendeur 117699-4
Quantité disponible : 1 disponible(s)
Image d'archives
Programming and Mathematical Method (NATO Asi Series: Series F: Computer & Systems Sciences) Broy, Manfred
ISBN 10 : 0387555587
ISBN 13 : 9780387555584
Ancien ou d'occasion
Couverture rigide
Vendeur : Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Some marks to the cover on both sides. Extremities are worn in places. Inscription to inside page. Content is clean and readable throughout. N° de réf. du vendeur 117736-4
Quantité disponible : 1 disponible(s)