Tell your friends about this item:
Formal Methods: State of the Art and New Directions Paul P Boca 2010 edition
Formal Methods: State of the Art and New Directions
Paul P Boca
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.
273 pages, 1 black & white tables, biography
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | December 22, 2009 |
| ISBN13 | 9781848827356 |
| Publishers | Springer London Ltd |
| Pages | 273 |
| Dimensions | 165 × 242 × 14 mm · 571 g |
| Language | English |
| Editor | Boca, Paul |
| Editor | Bowen, Jonathan P. |
| Editor | Siddiqi, Jawed |