Резултати
Назив: | Deduction of program correctnes in formal theory | Аутори: | Berković, Ivana ; Markoski, Branko ; Šetrajčić, Jovan ; Brtka, Vladimir ; Dobrilović, Dalibor | Година: | 2009 | Публикација: | International conference on informatics and information technology - ICIT, 4, Amman, Jordan, 2009, 03. jun - 05. jun | Издавач: | Al-Zaytoonah University, Faculty of Science and Information Technology, Amman, Jordan | Тип резултата: | Конференцијски рад | ISBN: | 9957-8583-0-0 Претражи идентификатор | URI: | https://enauka.gov.rs/handle/123456789/891762 | URL: | http://icit.zuj.edu.jo/icit09/PaperList/Papers/Software%20Engineering/508.pdf | Извор метаподатака: | (Preuzeto iz KNR-a) Brtka, Vladimir | М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.