Atslēgas vārdi Formal Specification, Category Theory
Alksnis, G. Formal Specification from Category Theory Viewpoint = Kategoriju teorija un formāla sistēmu specifikācija. Lietišķās datorsistēmas. Nr.17, 2003, 137.-144.lpp. ISSN 1407-7493.
Publikācijas valoda English (en)
Publikācijas veids Publikācija RTU zinātniskajā žurnālā
Pamatdarbībai piesaistītais finansējums Nav zināms
Pētniecības nozare 2. Inženierzinātnes un tehnoloģijas
Pētniecības apakšnozare 2.2. Elektrotehnika, elektronika, informācijas un komunikāciju tehnoloģijas
Šī vietne izmanto sīkdatnes, lai uzlabotu lietošanas pieredzi un optimizētu tās darbību. Turpinot lietot šo vietni, Jūs piekrītiet sīkdatņu lietošanai!