Rezultati
| Naziv: | Deduction of program correctnes in formal theory | Autori: | Berković, Ivana   ; Markoski, Branko ; Šetrajčić, Jovan ; Brtka, Vladimir ; Dobrilović, Dalibor |
Godina: | 2009 | Publikacija: | International conference on informatics and information technology - ICIT, 4, Amman, Jordan, 2009, 03. jun - 05. jun | Izdavač: | Al-Zaytoonah University, Faculty of Science and Information Technology, Amman, Jordan | Tip rezultata: | Konferencijski rad | ISBN: | 9957-8583-0-0  Pretraži identifikator |
URI: | https://enauka.gov.rs/handle/123456789/891762 | URL: | http://icit.zuj.edu.jo/icit09/PaperList/Papers/Software%20Engineering/508.pdf | Izvor metapodataka: | (Preuzeto iz KNR-a) Brtka, Vladimir | M-kategorija: | Mp kategorija će biti prikazana naknadno. |
Google ScholarTM
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.