Thesaurus UB (THUB)

Recursos sobre este tema

Descargar como

Métodos formales (Informática)

Términos genéricos
Diseño de sistemas
Términos relacionados
Ingeniería del software
Notas de fuente
LEMAC, consulta feta el 26 d’abril, 2018 (punt d'accés: Mètodes formals (Informàtica))
Autoridades CSIC, consulta feta el 26 d’abril, 2018 (punt d'accés: Métodos formales (Informática))
LCSH, consulta feta el 26 d’abril, 2018 (punt d'accés: Formal methods (Computer science))
RAMEAU, consulta feta el 26 d'abril, 2018 (punt d'accés: Méthodes formelles (informatique))
Tesauro
Materias
Microtesauro
Informática
Conceptos equivalentes en otros esquemas
Formal methods (Computer science) [LCSH]
Méthodes formelles (informatique) [RAMEAU]
Mètodes formals (Informàtica) [LEMAC]
Enlace permanente
Formato MARC21
  • LEADER 01194nz a2200265n 4500 001 981058507629806706 005 20210802122759.0 008 060306|||anznnbabn |a ana d 040 $aES-BaUB$bcat$cES-BaUB$fthub 072 7$aTH 004$2thub 150 $aMètodes formals (Informàtica) 550 $wg$aDisseny de sistemes 550 $aEnginyeria de programari 670 $aLEMAC, consulta feta el 26 d’abril, 2018$b(punt d'accés: Mètodes formals (Informàtica)) 670 $aAutoridades CSIC, consulta feta el 26 d’abril, 2018$b(punt d'accés: Métodos formales (Informática)) 670 $aLCSH, consulta feta el 26 d’abril, 2018$b(punt d'accés: Formal methods (Computer science)) 670 $aRAMEAU, consulta feta el 26 d'abril, 2018$b(punt d'accés: Méthodes formelles (informatique)) 675 $aAutoridades BNE, cerca feta el 26 d'abril, 2018 750 7$aMétodos formales (Informática)$2thub//spa 750 7$aFormal methods (Computer science)$2thub//eng 750 7$aMéthodes formelles (informatique)$2thub//fre 996 $a.a12026086$b23-02-21$c04-06-08$d-$ed$f- 909 $a11$5ES-BaUB 990 $aTHUB Tema$5ES-BaUB 035 $a(ES-BaUB).a12026086
Término preferente en otras lenguas
CatalàMètodes formals (Informàtica)
EnglishFormal methods (Computer science)
FrançaisMéthodes formelles (informatique)
+