Modern Formal Methods and Applications

• Main Author: Gabbar, Hossam A.
• Format: Electronic Kit Book
• Language: English
• Published: Dordrecht Springer 2006
• Subjects: Logic design; Computer science; Κβαντική χημεία > Μαθηματικά μοντέλα; Chemistry; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Models and Principles; Χημεία > Μαθηματικά; Computational Science and Engineering