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 "Generated and Free Specifications" (Lecture March 20/27)

Video "Generated and Free Specifications" (Lecture March 20/27)

Video "Generated and Free Specifications" (Lecture March 20/27)
You are currently using guest access (Log in)
Data retention summary
Get the mobile app
Powered by Moodle