Conte aos seus amigos sobre este 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
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 22 de dezembro de 2009 |
| ISBN13 | 9781848827356 |
| Editoras | Springer London Ltd |
| Páginas | 273 |
| Dimensões | 165 × 242 × 14 mm · 571 g |
| Idioma | Inglês |
| Editor | Boca, Paul |
| Editor | Bowen, Jonathan P. |
| Editor | Siddiqi, Jawed |