Programming Concepts and Methods: Proceedings of the Ifip Working Group 2.2./2.3 Working Conference on Programming Concepts and Methods Sea of Galil - Couverture rigide

Couverture rigide

ISBN 10 : 0444885455 ISBN 13 : 9780444885456

Editeur : Elsevier Science Ltd, 1990

Synopsis

The papers presented in this book were originally presented at a conference organized jointly by IFIP working groups 2.2 and 2.3. The titles of the groups are "Formal Description of Programming Concepts" and "Programming Methodology" respectively. There is no formal division between these two areas. The papers here which relate to fundamental notions and notations reflect current issues in formal (semantic) description. Programming methods use such description languages but are also concerned with methods of developing implementations which can be shown to satisfy their specifications. Members of both working groups have an interest in mechanical support for the task of proving theorems and the book includes several papers relating to such systems or their underlying logical frameworks.

Détails de l'édition

• Éditeur: Elsevier Science Ltd
• Date d'édition: 1990
• Langue: anglais
• ISBN 10: 0444885455
• ISBN 13: 9780444885456
• Reliure: Relié
• Nombre de pages: 590
• Éditeur: Broy Manfred, Jones C.B.
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible