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]
- Méthodes formelles (informatique) [RAMEAU]
- Mètodes formals (Informàtica) [LEMAC]
- 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)