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

Videokatalog

Lizenz: UHH-L2G
2735 Aufrufe
07.11.2014
Informatik

7 - Computational Tree Logic (CTL)

Prof. Dr. Rüdiger Valk
Formale Grundlagen der Informatik 2 (WiSe 14/15)

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