Lecture "Verification Technology"

Content

Organisation

Typ: Lecture (V3) and Practice (Ü1)
Date: Tu, 11:40-13:20 and Fr, 12:00-12:45
Room: S3 06 202
Begin: October 25th 2016
Instructor: Prof. Dr.-Ing. Hans Eveking
Cycle: every winter semester
Language: english
Exam: oral

Material

Lecture materials are available on Moodle for guests (without password) too.

Contact

Technische Universität Darmstadt

Department of Electrical Engineering and Information Technology

Computer Systems Group

Prof. Dr.-Ing. Christian Hochberger

Merckstr. 25

64283 Darmstadt

+49 6151 16-21150

+49 6151 16-21150

Print | Legal note | Privacy Policy | Sitemap | Search | Contact
to topto top