Gabbar, Hossam A.
Modern Formal Methods and Applications [electronic resource] / edited by Hossam A. Gabbar. - Dordrecht : Springer Netherlands, 2006. - digital.
9781402042232
10.1007/1-4020-4223-X doi
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.
QD75.4.C45
541.2
Modern Formal Methods and Applications [electronic resource] / edited by Hossam A. Gabbar. - Dordrecht : Springer Netherlands, 2006. - digital.
9781402042232
10.1007/1-4020-4223-X doi
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.
QD75.4.C45
541.2