ალგორითმებისა და პროგრამების ვერიფიკაციის (კორექტულობის) კრიტერიუმების დადგენა ავტომატების თეორიის მეთოდებით : დის... ინფორმატ. დოქტ. აკად. ხარის. / ბენიძე ნანა ; სამეცნ. ხელმძღვ. ცერცვაძე გ. ; საქ. საპატრიარქოს წმ. ანდრია პირველწოდებულის სახ. ქართ. უნ-ტი, ფიზ.-მათ. და კომპიუტ. მეცნ. ფაკ.. - თბ., 2012. - 120 გვ. : სქ.. - ბიბლიოგრ.: გვ. 93-95[MFN: 47762]
UDC: 004.421
თემატიკა:- პროგრამული ალგორითმები;
D 17.573 - საარქივო ფონდი
ალგორითმებისა და პროგრამების ვერიფიკაციის (კორექტულობის) კრიტერიუმების დადგენა ავტომატების თეორიის მეთოდებით : ავტორეფ... ინფორმატ. დოქტ. აკად. ხარის. / ნანა ბენიძე ; სამეცნ. ხელმძღვ. ცერცვაძე გ. ; რეცენ.: ნამიჩეიშვილი ო., ფხოველიშვილი მ., წერეთელი პ. ; საქ. საპატრიარქოს წმ. ანდრია პირველწოდებულის სახ. ქართ. უნ-ტი. - თბ., 2012. - 20 გვ.. - ტექსტი ქართ. და რუს. ენ.. - ბიბლიოგრ.: გვ. 10[MFN: 63679]
UDC: 004.413 + 004.415.5
FA 6.032 - საარქივო ფონდი