7 - Model Checking - Prof. Dr. Michael Köhler-Bußmeier - Universität Hamburg
- Lecture2Go
- Videokatalog
- F.6 - Mathematik, Informatik, Naturwissenschaften
- Informatik
- Formale Grundlagen der Informatik II
Videokatalog
4199 Aufrufe
08.11.2011
7 - Model Checking
Formale Grundlagen der Informatik II (WiSe 11/12)
Technischer Support
Bitte klicken Sie auf den nachfolgenden Link und füllen Sie daraufhin die notwendigen Felder aus, um unser Support-Team zu kontaktieren!
Link zu der RRZ-Support-Seite