ალგორითმებისა და პროგრამების ვერიფიკაციის (კორექტულობის) კრიტერიუმების დადგენა ავტომატების თეორიის მეთოდებით : ავტორეფერატი ინფორმატიკის დოქტორის კომპიუტერული მეცნიერებები 04.01.04 / ნანა ბენიძე ; სამეცნ. ხელმძღვ. გურამი ცერცვაძე ; საქართველოს საპატრიარქოს წმინდა ანდრია პირველწოდებულის სახელობის ქართული უნივერსიტეტი, ფიზიკა–მათემატიკის და კომპიუტერულ მეცნიერებათა სკოლის (ფაკულტეტი).
Material type: TextLanguage: Georgian, Russian Publication details: თბილისი, 2012. Description: 22 გვSubject(s):Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
წიგნი | ეროვნული სამეცნიერო ბიბლიოთეკა 1 საცავი. 1 კორპ. | 004(043) (Browse shelf(Opens below)) | 2K99563 | Available | 2013-1143 | ||
წიგნი | ეროვნული სამეცნიერო ბიბლიოთეკა 1 საცავი. 1 კორპ. | 004(043) (Browse shelf(Opens below)) | 2K99769 | Available | 2013-2725 |
პარალელური ტექსტი რუს. ენაზე.
There are no comments on this title.
Log in to your account to post a comment.