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

Catalog

License: UHH-L2G
3779 Views
27.10.2011
Informatik

4 - Kodierung von Kripkestrukturen, Mutual Exclusion, Temporale Logik

Prof. Dr. Michael Köhler-Bußmeier
This video may be embedded in other websites. You must copy the embeding code and paste it in the desired location in the HTML text of a Web page. Please always include the source and point it to lecture2go!

Links

Citation2Go

Please click on the link bellow and then fill out the required fields to contact our Support Team! RRZ Support Link

    Series