Modern Formal Methods and Applications

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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Gabbar, Hossam A. (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Dordrecht : Springer Netherlands, 2006.
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.