Резултати
еНаука >
Резултати >
Rezolucijska metoda za jednoprolazno simboličko testiranje razgranatih programskih struktura
| Назив: | Rezolucijska metoda za jednoprolazno simboličko testiranje razgranatih programskih struktura | Аутори: | Markoski, Branko   |
Остала ауторства: | Malbaški, Dušan ; Konjović, Zora ; Hotomski, Petar ; Krčevinac, Slobodan; Obradović, Danilo |
Година: | 2007 | Публикација: | Univerzitet u Novom Sadu | Издавач: | Novi Sad : Fakultet tehničkih nauka | Тип резултата: | Докторска дисертација | Колација: | str. 1-112 | VBS COBISS: | 228795655 | URI: | https://enauka.gov.rs/handle/123456789/914037 | Напомена о доступности: | Пуни текст је доступан само у штампаној форми | М-категорија: | 70M70 - Одбрањена докторска дисертација |
Google ScholarTM
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.