Modern Formal Methods and Applications - Gabbar, Hossam A.; SpringerLink (Online service) (Dordrecht : Springer Netherlands, 2006)
Keywords: Chemistry; Chemistry -- Mathematics; Logic design; Computer science; Engineering mathematics; Chemistry; 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