TY - DATA AU - Gabbar, Hossam A., editor. TI - Modern Formal Methods and Applications SN - 9781402042232, 978-1-4020-4223-2 U1 - 541.2, PY - 2006/// CY - Dordrecht PB - Springer Netherlands KW - Appl.Mathematics/Computational Methods of Engineering KW - Chemistry KW - Chemistry - Mathematics KW - Computational Science and Engineering KW - Computer science KW - Engineering mathematics KW - Logic design KW - Logics and Meanings of Programs KW - Math. Applications in Chemistry KW - Mathematical Logic and Formal Languages KW - Models and Principles N1 - Chemistry and Materials Science (Springer-11644) UR - http://dx.doi.org/10.1007/1-4020-4223-X ER -