Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
teaching:cc5115 [2020/02/10 12:38] – folmedoteaching:cc5115 [2020/02/10 12:50] – [Motivación y Objetivos] folmedo
Line 17: Line 17:
   * testear programas de manera automática, usando la librería QuickCheck.   * testear programas de manera automática, usando la librería QuickCheck.
  
 +Para un listado más detallado de los tópicos del curso consulta su programa. teaching:cc5115:programa_cc5115.pdf