Formal Methods: State of the Art and New Directions

by JonathanP.Bowen (Editor), PaulBoca (Editor), JawedSiddiqi (Editor)

New
Hardcover
2009
$164.92

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.

Synopsis

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.

$164.92

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 273
Edition: 1st Edition.
Publisher: Springer
Published: 22 Dec 2009
ISBN 10: 1848827350
ISBN 13: 9781848827356