Modern Formal Methods and Applications [electronic resource] /
edited by Hossam A. Gabbar.
- Dordrecht : Springer, 2006.
- v.: digital
9781402042232
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