Formal Methods: State of the Art and New Directions
Nonfiction, Science & Nature, Mathematics, Logic, Computers, Programming, Software Development, General Computing
| Author: | ISBN: | 9781848827363 | |
| Publisher: | Springer London | Publication: | December 4, 2009 |
| Imprint: | Springer | Language: | English |
| Author: | |
| ISBN: | 9781848827363 |
| Publisher: | Springer London |
| Publication: | December 4, 2009 |
| Imprint: | Springer |
| Language: | English |
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.
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.
