Formal Methods: State of the Art and New Directions
| Author | : Paul Boca |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 290 |
| Release | : 2009-12-04 |
| ISBN-10 | : 9781848827363 |
| ISBN-13 | : 1848827369 |
| Rating | : 4/5 (369 Downloads) |
Book Synopsis Formal Methods: State of the Art and New Directions by : Paul Boca
Download or read book Formal Methods: State of the Art and New Directions written by Paul Boca and published by Springer Science & Business Media. This book was released on 2009-12-04 with total page 290 pages. Available in PDF, EPUB and Kindle. Book excerpt: Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and validation. The self-contained chapters provide readers with rich background information and a diverse breadth of specialist material.