11.3 C
Barcelona, ES
lunes, enero 25, 2021
Inicio Etiquetas Conversiones temporales

Etiqueta: conversiones temporales

Diseñan un software libre de errores

Un equipo de la Universidad de Barcelona, junto con las empresas Formal Vindications y Guretruck, ha desarrollado un sistema para conseguir programas informáticos libres de errores. Con métodos de la lógica matemática, esta  tecnología revolucionaria hace posible un software infalible.

LO MÁS LEÍDO