Programming Concepts and Methods PROCOMET '98David Gries
Programming Concepts and Methods PROCOMET '98
David Gries · 1998
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
About the book
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.
Book details
- Year
- 1998
- Language
- English
- Series
- IFIP - The International Federation for Information Processing
- Publisher
- Springer US
- Editions
- 1
- Pages
- 486
- ISBN
- 9781475762990
Data source: Wikidata
More by David Gries
A Logical Approach to Discrete MathDavid Gries
A Logical Approach to Discrete Math
David Gries · 2013
The Science of ProgrammingDavid Gries
The Science of Programming
David Gries · 2012
Programming MethodologyDavid Gries
Programming Methodology
David Gries · 2012
Multimedia Introduction to Programming Using JavaDavid Gries
Multimedia Introduction to Programming Using Java
David Gries · 2005