Modern Formal Methods and Applications

• Κύριος συγγραφέας: Gabbar, Hossam A.
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht Springer 2006
• Θέματα: Logic design; Computer science; Κβαντική χημεία > Μαθηματικά μοντέλα; Chemistry; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Models and Principles; Χημεία > Μαθηματικά; Computational Science and Engineering