Please use this identifier to cite or link to this item: https://dspace.nplg.gov.ge/handle/1234/171134
Title: ალგორითმებისა და პროგრამების ვერიფიკაციის (კორექტულობის) კრიტერიუმების დადგენა ავტომატების თეორიის მეთოდებით
Authors: ბენიძე, ნანა
Keywords: ალგორითმებისა და პროგრამების ვერიფიკაციის (კორექტულობა)
Issue Date: 2012
Publisher: თბილისი
Owner: საქართველოს პარლამენტის ეროვნული ბიბლიოთეკა
Appears in Collections:ეროვნული ბიბლიოთეკის დისერტაციებისა და ავტორეფერატების ფონდი

Files in This Item:
File Description SizeFormat 
Disertacia.pdf931.43 kBAdobe PDFThumbnail
View/Open
Avtoreferati-qartuli.pdf172.66 kBAdobe PDFThumbnail
View/Open
Avtoreferati-rusuli.pdf161.28 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.