Programming Concepts and Methods PROCOMET 98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET 98) 8 12 . in Information and Communication Technology)

ISBN 10: 1475762992 / ISBN 13: 9781475762990

Edité par Springer, 2013

A propos de cet article

Like New. N° de réf. du vendeur ERICA77314757629926

Détails bibliographiques

Titre : Programming Concepts and Methods PROCOMET ...

Éditeur : Springer

Date d'édition : 2013

Reliure : Paperback

Etat : Like New

Type de livre : book

A propos de ce titre

Synopsis :

Programming Concepts and Methods PROCOMET '98 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.

Présentation de l'éditeur:

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.