ამ ეგზემპლარზე გადასასვლელად გამოიყენეთ ეს იდენტიფიკატორი:
https://dspace.nplg.gov.ge/handle/1234/171134| სათაური: | ალგორითმებისა და პროგრამების ვერიფიკაციის (კორექტულობის) კრიტერიუმების დადგენა ავტომატების თეორიის მეთოდებით |
| ავტორები: | ბენიძე, ნანა |
| საკვანძო სიტყვები: | ალგორითმებისა და პროგრამების ვერიფიკაციის (კორექტულობა) |
| გამოცემის თარიღი: | 2012 |
| გამომცემელი: | თბილისი |
| მფლობელი: | საქართველოს პარლამენტის ეროვნული ბიბლიოთეკა |
| შესულია კოლექციებში: | ეროვნული ბიბლიოთეკის დისერტაციებისა და ავტორეფერატების ფონდი |
ფაილები ამ ეგზემპლარში:
| ფაილი | აღწერილობა | ზომა | ფორმატი | |
|---|---|---|---|---|
| Disertacia.pdf | 931.43 kB | Adobe PDF |  ნახვა / გახსნა | |
| Avtoreferati-qartuli.pdf | 172.66 kB | Adobe PDF |  ნახვა / გახსნა | |
| Avtoreferati-rusuli.pdf | 161.28 kB | Adobe PDF |  ნახვა / გახსნა |
საავტორო უფლება