Formal Software Development
|
| |
ISBN |
0333992814 |
|
Release Date |
09 September 2003 |
|
Category |
Software Engineering |
|
Tags |
formal,
formal methods,
formal method,
formal specification,
formal languages,
formal spesification,
software engineering,
formal verification,
"software development",
software,
|
|
This book @Amazon |
View |
|
Description
|
This is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software. It assumes no previous knowledge of formal methods, and presents a practical and comprehensive treatment of the subject suitable for second and third year undergraduates on computing courses, and students on taught master's courses. The book is packed with examples and exercises throughout, and is supported by a dedicated web site. |
Other books on Software Engineering
|
