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 |
Παρόμοια τεκμήρια
-
Mathematical Methods Using Mathematica® For Students of Physics and Related Fields /
ανά: Hassani, Sadri
Έκδοση: (2003) -
Modern Formal Methods and Applications
ανά: Gabbar, Hossam A.
Έκδοση: (2006) -
Mathematics – Key Technology for the Future Joint Projects Between Universities and Industry 2004–2007 /
Έκδοση: (2008) -
Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
Έκδοση: (2013) -
Transactions on Petri Nets and Other Models of Concurrency III
Έκδοση: (2009)