Extensions

Loading...
From the course by EIT Digital
Quantitative Formal Modeling and Worst-Case Performance Analysis
33 ratings
EIT Digital

Quantitative Formal Modeling and Worst-Case Performance Analysis

33 ratings
From the lesson
Syntax and semantics

Meet the Instructors

  • Dr.ir. Pieter Cuijpers
    Dr.ir. Pieter Cuijpers
    Assistant Professor
    Mathematics and Computer Science
  • Anne Remke
    Anne Remke
    Prof. dr.
    Computer Science
Coursera provides universal access to the world’s best education, partnering with top universities and organizations to offer courses online.
© 2017 Coursera Inc. All rights reserved.
Download on the App StoreGet it on Google Play