Резултати
![](https://cdn3.iconfinder.com/data/icons/flat-actions-icons-9/512/Tick_Mark-256.png)
Назив: | Deduction of program correctnes in formal theory | Аутори: | Berković, Ivana ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Година: | 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 | М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.