Industrial-Strength Formal Methods in Practice
Author | : Michael G. Hinchey |
Publisher | : Springer Science & Business Media |
Total Pages | : 420 |
Release | : 1999-09-17 |
ISBN-10 | : 1852336404 |
ISBN-13 | : 9781852336400 |
Rating | : 4/5 (400 Downloads) |
Download or read book Industrial-Strength Formal Methods in Practice written by Michael G. Hinchey and published by Springer Science & Business Media. This book was released on 1999-09-17 with total page 420 pages. Available in PDF, EPUB and Kindle. Book excerpt: "Aimed mainly at practitioners in software engineering and formal methods, this book will also be of interest to academic researchers working in formal methods, and students on advanced software engineering courses who need real-life specifications and examples on which to base their work."--Jacket.