Programming Concepts and Methods PROCOMET '98
Subtitle: IFIP TC2
By: WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA / edited by David Gries, Willem-Paul Roever
Contributors: Roever, Willem-Paul
Series: IFIP - The International Federation for Information Processing; IFIP - The International Federation for Information Processing
Publisher: Springer US
Published: 1998
Place of publication: Boston, MA
Language: eng
Format: [electronic resource] :
Number of pages: 486
ISBN-13: 9781475762990; 9780387353586
Subjects: Information storage and retrieval systems; Computer science; Software engineering
Description: This book presents state-of-the-art discussions of the key issues in programming concepts and methods, with a particular emphasis on formal specification, formal verification and mathematical foundations. The PROCOMET '98 workshop covers a number of important topics in this field, including compositional approaches to specification and verification, the design of verification support tools and practical software engineering issues in using programming concepts and methods.
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.