Formalni verifikator kritičnih odsječaka računalnih programa : primjena strategije izračunavanja najslabijeg preduvjeta u formalnoj verifikaciji : [studentski rad za Rektorovu nagradu] / Matko Bošnjak, Karla Brkić, Ivan Sikirić ; mentor Nikola Bogunović
By: Bošnjak, Matko.
Contributor(s): Sikirić, Ivan [aut] | Brkić, Karla [aut] | Bogunović, Nikola [ths].
Material type: TextPublisher: Zagreb : Fakultet elektrotehnike i računarstva - Zagreb, 2007Edition: 1. izd.Description: 48 str. : tablice, ispis koda ; 30 cm. + 2 zaklamana [uz ovitak] lista A4 kao Recenzija rada ...za Rektorovu nagradu.Item type | Current location | Call number | Vol info | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Knjiga | Središnja knjižnica Nagrađeni radovi | NR-46 | 004.42 BOŠNJ for | 25306 | Available | 0000000726672 |
Total holds: 0
Tekst nad naslovom: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, Zavod za elektroniku, mikroelektroniku, računalne i inteligentne sustave
Bibliografija: str. 41-42. - Bilješke o autorima
There are no comments for this item.