Резултати
еНаука >
Резултати >
DOKAZIVANJE KOREKTNOSTI PROGRAMA PRIMENOM PRAVILA PROGRAMSKE LOGIKE I PRIDRUŽENIH FORMULA PREDIKATSKE LOGIKE
| Назив: | DOKAZIVANJE KOREKTNOSTI PROGRAMA PRIMENOM PRAVILA PROGRAMSKE LOGIKE I PRIDRUŽENIH FORMULA PREDIKATSKE LOGIKE | Аутори: | Markoski Branko; Mihajlović J; Šetrajčić Jovan; Vasiljević Petar | Година: | 2008 | Публикација: | Proceeding of ICDQM'08, ICDQM'08, 2008 | Тип резултата: | Конференцијски рад | URI: | https://www.cris.uns.ac.rs/record.jsf?recordId=26557&source=eNauka&language=en https://enauka.gov.rs/handle/123456789/592315 |
М-категорија: | Мп категорија ће бити приказана накнадно. |
Google ScholarTM
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.