دانلود کتاب Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation
by Kleuker S.
|
عنوان فارسی: مدل های رسمی توسعه نرم افزار: چک کردن مدل، تأیید، تجزیه و تحلیل و شبیه سازی |