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 | Size | Format | |
|---|---|---|---|---|
| Disertacia.pdf | 931.43 kB | Adobe PDF |  View/Open | |
| Avtoreferati-qartuli.pdf | 172.66 kB | Adobe PDF |  View/Open | |
| Avtoreferati-rusuli.pdf | 161.28 kB | Adobe PDF |  View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.