ალგორითმებისა და პროგრამების ვერიფიკაციის (კორექტულობის) კრიტერიუმების დადგენა ავტომატების თეორიის მეთოდებით : დის... ინფორმატ. დოქტ. აკად. ხარის. / ბენიძე ნანა ; სამეცნ. ხელმძღვ. ცერცვაძე გ. ; საქ. საპატრიარქოს წმ. ანდრია პირველწოდებულის სახ. ქართ. უნ-ტი, ფიზ.-მათ. და კომპიუტ. მეცნ. ფაკ.. - თბ., 2012. - 120 გვ. : სქ.. - ბიბლიოგრ.: გვ. 93-95[MFN: 47762]

UDC: 004.421

თემატიკა:
- პროგრამული ალგორითმები;

D 17.573 - საარქივო ფონდი