The Design of Well-structured and Correct Programs - Couverture rigide

Alagic, Suad; Arbib, Michael A.

 
9783540902997: The Design of Well-structured and Correct Programs
Couverture rigide
ISBN 10 : 3540902996 ISBN 13 : 9783540902997
Editeur : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1978

Synopsis

This text synthesizes research in top-down program design and verification of program correctness. It shows how these techniques may be used in day-to-day programming with the PASCAL language. Many examples of programs and proof development, as well as an explanation of control and data structures, are provided. As a PASCAL programming text, it not only provides a self-contained introduction to the language, but also offers algorithms which operate on sophisticated data structures, and provides the full axiomatic definition of PASCAL in terms of proof rules. Although an introductory course in programmming is required, no particular mathematical background is necessary beyond the basic idea of a mathematical proof. A sample of algorithms, including some examples from business data processing, is presented. This collection is supplemented by an extensive set of exercises.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Date d'édition
1978
Langue
anglais
ISBN 10 
3540902996
ISBN 13 
9783540902997
Reliure
Relié
Nombre de pages
292
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9780387902999: The Design of Well-Structured and Correct Programs

Edition présentée

ISBN 10 :  0387902996 ISBN 13 :  9780387902999
Editeur : Springer-Verlag New York Inc., 1978
Couverture rigide