Tell your friends about this item:
Modern Formal Methods and Applications Hossam a Gabbar 2006 edition
Modern Formal Methods and Applications
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. |
More by Hossam a Gabbar
Show allSee all of Hossam a Gabbar ( e.g. Hardcover Book and Paperback Book )