Резултати
| Назив: | Formalization of the General Hoare Logic Laws | Аутори: | Kupusinac, Aleksandar   ; Malbaški, Dušan |
Година: | 2012 | Публикација: | TEM JOURNAL-TECHNOLOGY EDUCATION MANAGEMENT INFORMATICS | ISSN: | 2217-8309 TEM JOURNAL - Technology, Education, Management, Informatics (Serbia) Претражи идентификатор |
Издавач: | UIKTEN - Association for Information Communication Technology Education and Science,Serbia. | Тип резултата: | Научни чланак | Колација: | vol. 1 br. 3 str. 145-150 | URI: | https://enauka.gov.rs/handle/123456789/385079 | URL: | http://www.temjournal.com/ https://www.temjournal.com/documents/vol1no3/Tem%20Journal%20Vol1No3.pdf |
Извор метаподатака: | Migrirano iz RIS podataka | Напомена: | Verifikacija izvršena na osnovu nepotpunih podataka | Напомена о доступности: | Пуни текст није јавно доступан | М-категорија: | 23M23 - Међународни часопис категорије M23 |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.