Zum Inhalt springen
02 - Formale Korrektheit : Softwareentwicklung II
- Link:
-
-
https://lecture2go.uni-hamburg.de/l2go/-/get/v/12012
- Autor/in:
-
- Beteiligte Personen:
-
- Regionales Rechenzentrum der Universität Hamburg/ MCC/ Lecture2Go
- Universität Hamburg
- Verlag/Körperschaft:
- Universität Hamburg
- Erscheinungsjahr:
- 2011
- Medientyp:
- Audiovisuell
- Schlagworte:
-
- Informatik
- Korrektheit
- Informatik
- Beziehungen:
- URL https://lecture2go.uni-hamburg.de/l2go/-/get/l/3884
- Lizenz:
-
- Quellsystem:
- Lecture2Go UHH
Interne Metadaten
- Quelldatensatz
- oai:lecture2go.uni-hamburg.de:12012