Formalna specifikacija i verifikacija softvera : diplomski rad / Vedran Novaković
Autor
Novaković, Vedran
Ostali autori
Materijalni opis
[90] str. : ilustr. + CD-ROM ; 30 cm
Napomena
Mentor: R.Manger.
 
Bibliografija: str. 87-89 (40 referenci).
Građa
diplomski rad

NOVAKOVIĆ, Vedran
Formalna specifikacija i verifikacija softvera : diplomski rad / Vedran Novaković. - Zagreb : PMF-Matematički odjel, Sveučilište u Zagrebu, 2006. - [90] str. : ilustr. + CD-ROM ; 30 cm
Mentor: R.Manger. - Bibliografija: str. 87-89 (40 referenci).