Report - Formalne Metode u oblikovanju sustava - zemris.fer.hr · Sintaksa je slicna jezikuˇ C, Dijkstrine "guarded" komande i CSPalgebra cine teorijske temelje (detalji kasnije)ˇ Spinpronalazi

Please pass captcha verification before submit form