Programming Concepts and Methods PROCOMET '98 : IFIP TC2 /
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 com...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Boston, MA :
Springer US,
1998.
|
| Series: | IFIP — The International Federation for Information Processing.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | 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. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | 1 online resource (ix, 486 pages) |
| ISBN: | 9780387353586 (electronic bk.) 0387353585 (electronic bk.) |
| ISSN: | 1868-4238 |