کتاب زبان اصلی Formal Methods in Computer Science  روش های فرمال در علوم کامپیوتر Formal Methods in Computer Science نوشته Jiacun Wang و William Tepfenhart در سال 2017 منتشر شده است این کتاب به معرفی و کاربرد روش های ریاضی و منطقی برای تجزیه و تحلیل دقیق سیستم های نرم افزاری و سخت افزاری می پردازد مفاهیمی مانند منطق ریاضی الگوریتم های اثبات صحت زبان های توصیف ساختاری و مدل سازی رسمی سیستم ها تشریح شده اند این کتاب برای دانشجویان علوم کامپیوتر و مهندسی نرم افزار در درک مبانی نظری روش های فرمال مفید است x000D   x000D