"Modern Formal Methods and Applications" - читать интересную книгу автора (Hossam A. Gabbar)