Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

sav08:lecture02 [2008/02/21 16:09]
vkuncak
sav08:lecture02 [2008/10/11 18:42] (current)
vkuncak
Line 15: Line 15:
 [[Sets and Relations]] - Some more background in preparation for program semantics. [[Sets and Relations]] - Some more background in preparation for program semantics.
  
 +===== References =====
 +
 +  * [[Discrete mathematics by Rosen]]
  
 
sav08/lecture02.txt · Last modified: 2008/10/11 18:42 by vkuncak
 
© EPFL 2018 - Legal notice