Formal Methods: State of the Art and New Directions - Hardcover

 
9781848827356: Formal Methods: State of the Art and New Directions
Hardcover
ISBN 10: 1848827350 ISBN 13: 9781848827356
Verlag: Springer, 2009

Inhaltsangabe

The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications.

Through fundamental contributions from leading researchers, this book provides further evidence of the use of formal methods in the areas of requirements, design, modelling and implementation, verification and validation. The self-contained chapters are views from experts in these areas, providing readers with rich background information and a diverse breadth of specialist material.

This authoritative collection of views provides a snapshot of the field and will be of considerable interest to researchers and professionals seeking a perspective on fundamental underpinnings of formal methods and current hot topics in the field.

The website www.fmsand.info is a useful resource, providing material associated with the book and links to further related information.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Von der hinteren Coverseite

The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications.

Through fundamental contributions from leading researchers, this book provides further evidence of the use of formal methods in the areas of requirements, design, modelling and implementation, verification and validation. The self-contained chapters are views from experts in these areas, providing readers with rich background information and a diverse breadth of specialist material.

This authoritative collection of views provides a snapshot of the field and will be of considerable interest to researchers and professionals seeking a perspective on fundamental underpinnings of formal methods and current hot topics in the field.

The website www.fmsand.info is a useful resource, providing material associated with the book and links to further related information.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2009
Sprache
Englisch
ISBN 10 
1848827350
ISBN 13 
9781848827356
Einband
Gebundene Ausgabe
Anzahl der Seiten
298
Herausgeber
Boca Paul, Bowen Jonathan P., Siddiqi Jawed
Kontakt zum Hersteller
Dt. Universitätsverlag
buchhandel-buch@springer.com

Abraham-Lincoln-Str. 46
Wiesbaden
65198
Deutschland

Weitere beliebte Ausgaben desselben Titels

9781447157458: Formal Methods: State of the Art and New Directions

Vorgestellte Ausgabe

ISBN 10:  1447157451 ISBN 13:  9781447157458
Verlag: Springer, 2014
Softcover