¿De qué trata el debate de la verificación formal en el software?

Поделиться
HTML-код
  • Опубликовано: 4 окт 2024

Комментарии • 2

  • @amaurifriasvargas600
    @amaurifriasvargas600 5 месяцев назад +1

    Me gustas tu contenido, hablando acerca del diseno de software y codigo. Cuando empece a conocer el mundo de la programacion, empece viendo videos para aprender a programar pero cuando tenia que hacer un proyecto, por mi cuenta sin seguir ningun tutorial no podia avanzar. hay fue cuando encontre un libro que hablaba acerca del diseno del software y los fundamentos y otros libros de como estructurar codigo

  • @MarcosHernandez-ie4xd
    @MarcosHernandez-ie4xd 5 месяцев назад +1

    Como estudiante de 1ro de Ciencias de la Computación es un tema que me interesa. En 4to o 5to puedo elegir una optativa llamada "Métodos formales" sin duda la voy a hacer. Buen vídeo!.