Unifying Theories of Programming - Couverture rigide

Hoare, C.A.R.; Jifeng, He

 
9780134587615: Unifying Theories of Programming
Couverture rigide
ISBN 10 : 0134587618 ISBN 13 : 9780134587615
Editeur : Prentice Hall, 1998

Synopsis

This book provides a synthesis of the theory of programming. It aims to use mathematical theory of programming to provide a similar basis for specification, design and implementation of programs. It is wide ranging both in its subject matter and also in its approach and style. The first five chapters justify and introduce the main concepts and methods to be used within the text, relating the goal of unification to the achievements of other branches of science and mathematics. The remaining chapters introduce more advanced programming language features one by one. The main methods of programming are summarised and concluded in a manner suitable for those already familiar with programming semantics. Definitions are accompanied by examples and the theorems by meticulous proof.

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

Présentation de l'éditeur

This book provides a synthesis of the theory of programming. It aims to use mathematical theory of programming to provide a similar basis for specification, design and implementation of programs. It is wide ranging both in its subject matter and also in its approach and style.

The first five chapters justify and introduce the main concepts and methods to be used within the text, relating the goal of unification to the achievements of other branches of science and mathematics. The remaining chapters introduce more advanced programming language features one by one. The main methods of programming are summarised and concluded in a manner suitable for those already familiar with programming semantics. Definitions are accompanied by examples and the theorems by meticulous proof.

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

Éditeur
Prentice Hall
Date d'édition
1998
Langue
anglais
ISBN 10 
0134587618
ISBN 13 
9780134587615
Reliure
Relié
Nombre de pages
320
Coordonnées du fabricant
non disponible
Personne responsable
non disponible