1. Lecture2Go
  2. Videokatalog
  3. F.6 - Mathematik, Informatik, Naturwissenschaften
  4. Informatik
  5. Formale Grundlagen der Informatik II

Videokatalog

Lizenz: UHH-L2G
3784 Aufrufe
27.10.2011
Informatik

4 - Kodierung von Kripkestrukturen, Mutual Exclusion, Temporale Logik

Prof. Dr. Michael Köhler-Bußmeier
Dieses Video darf in andere Webseiten eingebunden werden. Kopieren Sie dazu den Code zum Einbetten und fügen Sie diesen an der gewünschten Stelle in den HTML-Text einer Webseite ein. Geben Sie dabei bitte immer die Quelle an und verweisen Sie auf Lecture2Go!

Links

Zitat2Go

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

    Serie