Tallenna
Modern Formal Methods and Applications
sidottu, 2005
englanti
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.
- Toimittaja
- Hossam A. Gabbar
- Painos
- 2006 ed.
- ISBN
- 9781402042225
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 22.12.2005
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 197
