Browsing by Subject ალგორითმებისა და პროგრამების ვერიფიკაციის (კორექტულობა)
Showing results 1 to 1 of 1
Preview | Issue Date | Title | Author(s) |
---|---|---|---|
![]() | 2012 | ალგორითმებისა და პროგრამების ვერიფიკაციის (კორექტულობის) კრიტერიუმების დადგენა ავტომატების თეორიის მეთოდებით | ცერცვაძე, გ.; ბენიძე, ნანა |