software-engineering
Métodos formales para reducir bugs críticos
Métodos formales aplicados al software financiero pueden bajar bugs costosos y dar más rigor a sistemas críticos. Aquí verás por qué Jane Street insiste en este enfoque y qué puedes aprender si construyes productos para LatAm.
Leer artículo