Correctness of computer programs
- Broader concepts
- Debugging in computer science
- Source notes
- LEMAC, consulta feta el 24 de gener, 2013 (punt d'accés: Programes d'ordinador--Correcció)
- Wikipedia (castellà), consulta feta el 24 de gener, 2013 (Correctitud; En teoría de la computación, la corrección de un algoritmo, también llamada correctitud (como adaptación de la palabra inglesa correctness), corresponde a una propiedad que distingue a un algoritmo de un procedimiento efectivo.)
- LCSH, consulta feta el 24 de gener, 2013 (punt d'accés: Computer programs--Correctness))
- RAMEAU, consulta feta el 24 de gener, 2013 (punt d'accés: Logiciels -- Exactitude)
- Thesaurus
- Subjects
- Microthesaurus
- Computer science
- Engineering and technology
- Equivalent concepts in other schemes
- Computer programs--Correctness [LCSH]
- Logiciels -- Exactitude [RAMEAU]
- Programes d'ordinador-Correcció [LEMAC]
- Permalink
- https://vocabularis.crai.ub.edu/thub/concept/thub:981058507486006706
- Format MARC21
-
- LEADER 01419nz a2200277n 4500 001 981058507486006706 005 20240930141915.0 008 051122|||anznnbabn |a ana d 035 $a(ES-BaUB).a12018776 040 $aES-BaUB$bcat$cES-BaUB$fthub 072 7$aTH 004$2thub 072 7$aTH 62$2thub 150 $aCorrecció de programes d'ordinador 450 $aProgrames d'ordinador (Correcció) 550 $wg$aDepuració (Informàtica) 670 $aLEMAC, consulta feta el 24 de gener, 2013$b(punt d'accés: Programes d'ordinador--Correcció) 670 $aWikipedia (castellà), consulta feta el 24 de gener, 2013$b(Correctitud; En teoría de la computación, la corrección de un algoritmo, también llamada correctitud (como adaptación de la palabra inglesa correctness), corresponde a una propiedad que distingue a un algoritmo de un procedimiento efectivo.) 670 $aLCSH, consulta feta el 24 de gener, 2013$b(punt d'accés: Computer programs--Correctness)) 670 $aRAMEAU, consulta feta el 24 de gener, 2013$b(punt d'accés: Logiciels -- Exactitude) 675 $aAutoridades BNE;$aAutoridades CSIC, cerca feta el 24 de gener, 2013 750 7$aCorrectitud$2thub//spa 750 7$aCorrectness of computer programs$2thub//eng 750 7$aExactitude des logiciels$2thub//fre 909 $a14$5ES-BaUB 990 $aTHUB Tema$5ES-BaUB 996 $a.a12018776$b13-01-21$c04-06-08$d-$ed$f-
- Preferred term in other languages
- CatalàCorrecció de programes d'ordinador
- EspañolCorrectitud
- FrançaisExactitude des logiciels
- Last updated dated
- 22/12/2024