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.

שנה

1998

שפה

English

סדרה

IFIP - The International Federation for Information Processing

הוצאה

Springer US

מהדורות

1

עמודים

486

ISBN

9781475762990

מקור הנתונים: Wikidata