EDICIóN GENERAL

El Boeing 737 MAX no puede volver a volar porque utiliza un procesador de hace 30 años

#47 Verificación formal es demostrar matemáticamente que ese conjunto de puertas lógicas llamado "i286" va a hacer lo que se supone que hace.

menéame