
Modern Formal Methods and Applications
Applications are presented from different disciplines such as engineering where the operation of chemical plants is synthesized using formal methods.
- Redaktör
- Hossam A. Gabbar
- Upplaga
- Softcover reprint of hardcover 1st ed. 2006
- ISBN
- 9789048170791
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2010-10-19
- Förlag
- Springer
- Sidor
- 197
