File Exchange: Formal Methods for Computer Science I

Formal Methods for Computer Science I

Hochgeladen von sebschrepfer - 17.09.2012

Semester	HS10
Kategorie	Zusammenfassung
Verfasser	Sebastian Schrepfer, Tudor Gîrba
Dateigrösse	4.11 MB
Downloads	114

	Dies ist eine Zusammenfassung/Zusammenstellung der wichtigsten Folien aus der Vorlesung Formal Methods for Computer Science I im HS 2010. Die Folien und Notizen stammen aus dem Unterrichtsmaterial von Tudor Gîrba, welche jedoch unter der Lizenz Attribution 3.0 Unported (CC BY 3.0) verändert und mit diesem Verweis verbreitet werden dürfen. Die Zusammenstellung stammt von mir (ohne Gewähr!).