Delivery included to the United States

Programming Concepts and Methods

Programming Concepts and Methods Proceedings of the IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990

Book (30 Nov 1990)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's 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.

Book information

ISBN: 9780444885456
Publisher: North-Holland
Imprint: North-Holland
Pub date:
DEWEY: 005.1
DEWEY edition: 20
Language: English
Number of pages: 581
Weight: -1g