
Tell your friends about this item:
Modern Formal Methods and Applications 2006 edition
Hossam a Gabbar
Modern Formal Methods and Applications 2006 edition
Hossam a Gabbar
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.
197 pages, biography
Media | Books Hardcover Book (Book with hard spine and cover) |
Released | December 22, 2005 |
ISBN13 | 9781402042225 |
Publishers | Springer-Verlag New York Inc. |
Pages | 197 |
Dimensions | 155 × 235 × 15 mm · 566 g |
Editor | Gabbar, Hossam A. |
Show all
More by Hossam a Gabbar
See all of Hossam a Gabbar ( e.g. Hardcover Book and Paperback Book )