Modern Formal Methods and Applications [E-Book] / edited by Hossam A. Gabbar.
Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be formulated in a way that can help to find an appropriate solution. This book shows the basic concepts of formal methods and highlights modern modifications and enhancements to p...
Saved in:
Full text |
|
Personal Name(s): | Gabbar, Hossam A. editor |
Imprint: |
Dordrecht :
Springer Netherlands,
2006
|
Physical Description: |
XXIII, 197 p. online resource. |
Note: |
englisch |
ISBN: |
9781402042232 |
DOI: |
10.1007/1-4020-4223-X |
Subject (LOC): |
- Fundamentals of Formal Methods
- Formal Methods for Process Systems Engineering
- Formal Methods for Production Chain Management
- Formalizing Waste Management
- Formal Methods for Modeling Biological Regulatory Networks
- Formal Methods for Specifying and Analyzing Complex Software Systems
- An Algebraic Approach to Hardware Compilation
- Formal Methods for UML.