Delivery included to the United States

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

2010

Paperback (20 Oct 2014)

Save $18.83

  • RRP $124.90
  • $106.07
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's 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.

Book information

ISBN: 9781447157458
Publisher: Springer London
Imprint: Springer
Pub date:
Edition: 2010
Language: English
Number of pages: 273
Weight: 462g
Height: 235mm
Width: 155mm
Spine width: 16mm