Méthodes formelles (informatique)

Termes génériques

Conception de systèmes

Termes connexes

Génie logiciel

Notes de source

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))

Tesaurus

Matèries

Microtesaurus

Informatique

Concepts équivalents dans d'autres schémas

Formal methods (Computer science) [LCSH]

Permalien

https://vocabularis.crai.ub.edu/thub/concept/thub:981058507629806706

Format 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

Terme préférentiel dans d'autres langues

CatalàMètodes formals (Informàtica)

EspañolMétodos formales (Informática)

EnglishFormal methods (Computer science)

+ −