آموزش طراحی با قراردادهای اثباتپذیر
دانلود Design by Provable Contracts
آموزش طراحی نرمافزار با استفاده از قراردادهای ریاضی و اثباتپذیری؛ مناسب دانشجویان مهندسی، علوم و برنامهنویسان حرفهای برای یادگیری تست پیشرفته و تایید رسمی کد.
برای دریافت و مشاهده جزییات بیشتر این دوره کلیک کنید