Modern Formal Methods and Applications
Hossam A. Gabbar
- 19 oktober 2010
- 9789048170791
Samenvatting:
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.
€ 99,99
Bestel bij Bol.com >