Formalni verifikator kritičnih odsječaka računalnih programa : primjena strategije izračunavanja najslabijeg preduvjeta u formalnoj verifikaciji
| Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:30152 |
|---|---|
| Glavni autori: | Bošnjak, Matko (-), Sikirić, Ivan (Author), Brkić, Karla 1984 |
| Ostali autori: | Bogunović, Nikola (Thesis advisor) |
| Vrsta građe: | Knjiga |
| Jezik: | hrv |
| Impresum: |
Zagreb :
Fakultet elektrotehnike i računarstva - Zagreb,
2007.
|
| Izdanje: | 1. izd |