Modern Formal Methods and Applications

• Main Author: Gabbar, Hossam A.
• Format: Electronic Kit Book
• Language: English
• Published: Dordrecht Springer 2006
• Subjects: Τυπικές μέθοδοι (Επιστήμη των υπολογιστών)