Merz, Stephan

Vis mig kun

Interactive Theorem Proving

Interactive Theorem Proving

Merz, Stephan

436,85 DKK

Integrated Formal Methods

Integrated Formal Methods

Merz, Stephan

436,85 DKK

Temporal Logic and State Systems

Temporal Logic and State Systems

Merz, Stephan

509,93 DKK

Modeling and Verification of Real-time Systems

Modeling and Verification of Real-time Systems

Merz, Stephan

2190,77 DKK

Modeling and Verification of Real-time Systems

Modeling and Verification of Real-time Systems

Merz, Stephan

2190,77 DKK