Dasturlarni tekshirishning formal usullari Mavzu: Dasturlarni deduktiv tekshirish vositalari


Download 12.9 Kb.
Sana08.03.2023
Hajmi12.9 Kb.
#1251667

2022/2023-o‘quv yili __-semestrda _______________________ bakalavriat yo‘nalishlarining ____-guruh talabalariga «Dasturiy injiniring» kafedrasi o‘qituvchilari tomonidan o‘tiladigan
«Dasturlarni tekshirishning formal usullari»
Mavzu: Dasturlarni deduktiv tekshirish vositalari
Download 12.9 Kb.

Do'stlaringiz bilan baham:




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling