Modern formal methods and applications [E-Book] / ed. by Hossam A. Gabbar.
Gabbar, Hossam A., (editor)
Dordrecht : Springer, 2006
9781402042225
Chemistry
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Models and Principles
Math. Applications in Chemistry
Computational Science and Engineering
Full Text
Description not available.