Angļu – krievu – latviešu skaidrojošā vārdnīca. Datu pārraides un apstrādes sistēmas. R.: A/s SWH, 1995.
Grupa: Valsts valodas centrs
Nozare: Informācijas un komunikācijas tehnoloģijas
                            lv
                            
                        
                        
                        
                        
                        
                        
                        
                        
                        
                        
                        
                        
                        
                                programmēšanas teorija
                            
                        
                            Definīcija:
                            
                                
                                    
                            
                        
                    
                                        
                                            Zinātnes nozare, kas pēta programmēšanas pamatprincipus, izmantojot formālas matemātiskas metodes. Galvenie pētījumu objekti: programmēšanas valodu semantika, programmu korektuma pierādījumi, programmu specifikācija, programmu translēšana un programmēšanas metodoloģija.
                                            
                                        
                                    
                                
                            en
                            
                        
                        
                        
                        
                        
                        
                        
                        
                        
                        
                        
                        
                        
                                programming theory
                            
                        
                            ru
                            
                        
                        
                        
                        
                        
                        
                        
                        
                        
                        
                        
                        
                        
                                теория программирования
                            
                        Kolekcija: Angļu – krievu – latviešu skaidrojošā vārdnīca. Datu pārraides un apstrādes sistēmas. R.: A/s SWH, 1995.
Nozare: Informācijas un komunikācijas tehnoloģijas
Apstiprināts: 01.01.1995.