Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

harrison_textbook [2010/02/22 11:31]
vkuncak created
harrison_textbook [2010/02/22 11:34] (current)
vkuncak
Line 4: Line 4:
  
   * [[http://​www.cambridge.org/​catalogue/​catalogue.asp?​isbn=9780521899574|Cambrige University Press Site]]   * [[http://​www.cambridge.org/​catalogue/​catalogue.asp?​isbn=9780521899574|Cambrige University Press Site]]
 +  * [[http://​www.cl.cam.ac.uk/​~jrh13/​atp/​index.html|author'​s resources]]
 +
 
harrison_textbook.txt · Last modified: 2010/02/22 11:34 by vkuncak