Zum Hauptinhalt
RISC
  • Startseite
  • Kalender
  • Mehr
Deutsch ‎(de)‎
Deutsch ‎(de)‎ English ‎(en)‎
Sie sind als Gast angemeldet
Anmelden
RISC
Startseite Kalender
Formal Specification of Abstract Datatypes (SS 2020)
Alles aufklappen Alles einklappen
  1. SpecADT20
  2. Lecture
  3. Video "Reasoning 3: The Refinement of Specifications" (Lectures June 5/19)

Video "Reasoning 3: The Refinement of Specifications" (Lectures June 5/19)

Video "Reasoning 3: The Refinement of Specifications" (Lectures June 5/19)
Sie sind als Gast angemeldet (Anmelden)
Unsere Datenlöschfristen
Laden Sie die mobile App
Powered by Moodle