APIE MANE
PROJEKTAI
PUBLIKACIJOS
INFORMACIJA KONTAKTAMS
Anglø kalba
DARBUOTOJAI
PSIS
Matematikos ir informatikos instituto svetainë

PUBLIKACIJOS 2004 METAIS

  1. Lupeikienë, Audronë; Giedrimas, Vaidas. Komponento specifikacijos formalizavimas. Lietuvos matematikos rinkys, 44 (spec. nr.), 2004, 276-280.

 

© VU Matematikos ir informatikos institutas, Programø sistemø inþinerijos skyrius, 2013