Bošnjak, Matko
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ć - 1. izd. - Zagreb : Fakultet elektrotehnike i računarstva - Zagreb, 2007. - 48 str. : tablice, ispis koda ; 30 cm. + 2 zaklamana [uz ovitak] lista A4 kao Recenzija rada ...za Rektorovu nagradu
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
004.42
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ć - 1. izd. - Zagreb : Fakultet elektrotehnike i računarstva - Zagreb, 2007. - 48 str. : tablice, ispis koda ; 30 cm. + 2 zaklamana [uz ovitak] lista A4 kao Recenzija rada ...za Rektorovu nagradu
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
004.42