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

Ғылым және технология

Пікірлер: 2

  • @amaurifriasvargas600
    @amaurifriasvargas6002 ай бұрын

    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-ie4xd2 ай бұрын

    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!.

Келесі