Formal Methods: State Of The Art And New Directions
$131.52
{{option.name}}:
{{selected_options[option.position]}}
{{value_obj.value}}
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. • Author: Paul Boca, Jonathan P. Bowen, Jawed Siddiqi • Publisher: Springer • Publication Date: Oct 20, 2014 • Number of Pages: 298 pages • Language: English • Binding: Paperback • ISBN-10: 1447157451 • ISBN-13: 9781447157458
Show More
Show Less