Seminar: Formal Specification and Verification in WS16/17

weber
Neuling
Neuling
Beiträge: 6
Registriert: 18. Mär 2015 13:15

Seminar: Formal Specification and Verification in WS16/17

Beitrag von weber » 21. Jul 2016 10:47

In the winter term 2016/2017, the MAIS group (Prof. Dr. Heiko Mantel) offers the seminar Formal Specification and Verification (3 CP, TUCaN Id: 20-00-0914-se).

The joint introductory meeting for all seminars offered by the MAIS group takes place Tuesday, October 25th from 16:30-18:00 in S202|E302.
Ad-WS16-FormSpec.png
Ad-WS16-FormSpec.png (310.56 KiB) 324 mal betrachtet

Markus Tasch
BASIC-Programmierer
BASIC-Programmierer
Beiträge: 124
Registriert: 11. Sep 2015 10:57

Re: Seminar: Formal Specification and Verification in WS16/17

Beitrag von Markus Tasch » 11. Okt 2016 20:52

In case you plan to participate in the seminar Formal Specification and Verification in WS16/17, please note that the date of the introductory meeting was changed to Tuesday October 25.10.2016 16:30-18:00 in E302. The introductory meeting for our lab courses is still on Friday October 21 13:30-15:10 in E302.
Markus Tasch, M.Sc.
Modeling and Analysis of Information Systems
Department of Computer Science, TU Darmstadt
http://www.mais.informatik.tu-darmstadt.de

Antworten

Zurück zu „Archiv“