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