Wehrheim, Heike

Vis mig kun

Correct System Design

Correct System Design

Wehrheim, Heike

403,64 DKK

Tests and Proofs

Tests and Proofs

Wehrheim, Heike

436,85 DKK

Formal Methods for Open Object-Based Distributed Systems

Formal Methods for Open Object-Based Distributed Systems

Wehrheim, Heike

436,85 DKK

Integrated Formal Methods

Integrated Formal Methods

Wehrheim, Heike

436,85 DKK