by HossamA.Gabbar (Editor)
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.
Format: Hardcover
Pages: 220
Publisher: Springer
Published: 22 Dec 2005
ISBN 10: 1402042221
ISBN 13: 9781402042225