Torthaí cuardaigh - "Verificación"

Program logics for certified compilers. de réir Appel, Andrew W., 1960-, Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Ábhair: “…Software Verificación 887040…”

De l'importance du vrai et du faux dans la classe de mathématiques de réir Margolinas, Claire

Ábhair: “…Verificación 352302…”

Introducción a la econometría de réir Maddala, G. S.

Ábhair: “…Verificación 352302…”

Verificación digital para periodistas. Manual contra bulos y desinformación internacional. de réir Redondo, Myriam

Ábhair: “…Noticias falsas (fake news) Verificación digital…”