Vytisknout
0361330 - ÚI 2012 CZ eng V - Výzkumná zpráva
Rohn, Jiří
INTLAB Primer.
Prague: ICS AS CR, 2011. 9 s. Technical Report, V-1117.
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: INTLAB * MATLAB * veri¯cation software * primer
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0198668
Rohn, Jiří
INTLAB Primer.
Prague: ICS AS CR, 2011. 9 s. Technical Report, V-1117.
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: INTLAB * MATLAB * veri¯cation software * primer
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0198668