Modern Formal Methods and Applications

Modern Formal Methods and Applications

by HossamA.Gabbar (Editor)

Synopsis

This book shows the basic concepts of formal methods and highlights modern modifications and enhancements to provide a more robust and efficient problem solving tool.Applications are presented from different disciplines such as engineering where the operation of chemical plants is synthesized using formal methods.

$113.98

Save:$8.02 (7%)

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 220
Publisher: Springer
Published: 22 Dec 2005

ISBN 10: 1402042221
ISBN 13: 9781402042225