Skip to main content
RISC
  • Home
  • Calendar
  • More
English ‎(en)‎
Deutsch ‎(de)‎ English ‎(en)‎
You are currently using guest access
Log in
RISC
Home Calendar
Formal Specification of Abstract Datatypes (SS 2020)
Expand all Collapse all
  1. SpecADT20
  2. Lecture
  3. Video "Cogenerated and Cofree Specifications / Part 1" (Lecture May 15)

Video "Cogenerated and Cofree Specifications / Part 1" (Lecture May 15)

Video "Cogenerated and Cofree Specifications / Part 1" (Lecture May 15)
You are currently using guest access (Log in)
Data retention summary
Get the mobile app
Powered by Moodle