Spar
Modern Formal Methods and Applications
heftet, 2010
Engelsk
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.
- Redaktør
- Hossam A. Gabbar
- Opplag
- Softcover reprint of hardcover 1st ed. 2006
- ISBN
- 9789048170791
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 19.10.2010
- Forlag
- Springer
- Antall sider
- 197
