Modern Formal Methods and Applications

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Gabbar, Hossam A. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands, 2006.
• Θέματα: Chemistry.; Chemometrics.; Computer logic.; Mathematical logic.; Computers.; Computer mathematics.; Applied mathematics.; Engineering mathematics.; Math. Applications in Chemistry.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Models and Principles.; Computational Science and Engineering.; Appl.Mathematics/Computational Methods of Engineering.

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...

Πίνακας περιεχομένων:

• 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.