Please use this identifier to cite or link to this item: https://dspace.nplg.gov.ge/handle/1234/171134
სათაური: ალგორითმებისა და პროგრამების ვერიფიკაციის (კორექტულობის) კრიტერიუმების დადგენა ავტომატების თეორიის მეთოდებით
ავტორები: ბენიძე, ნანა
საკვანძო სიტყვები: ალგორითმებისა და პროგრამების ვერიფიკაციის (კორექტულობა)
გამოცემის თარიღი: 2012
გამომცემელი: თბილისი
მფლობელი: საქართველოს პარლამენტის ეროვნული ბიბლიოთეკა
შესულია კოლექციებში:ეროვნული ბიბლიოთეკის დისერტაციებისა და ავტორეფერატების ფონდი

ფაილები ამ ეგზემპლარში:
ფაილი აღწერილობა ზომაფორმატი 
Disertacia.pdf931.43 kBAdobe PDFგამოსახულება
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.