Browse
FAQ

Author

Heike Wehrheim

4 books found

Cover of Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Heike Wehrheim · First published 2020

Cover of Tests and Proofs

Tests and Proofs

Wolfgang Ahrendt, Heike Wehrheim · First published 2020

Cover of Correct System Design

Correct System Design

Roland Meyer, André Platzer, Heike Wehrheim · First published 2015

Cover of Formal methods for open object-based distributed systems

Formal methods for open object-based distributed systems

Roberto Gorrieri, Heike Wehrheim · First published 2006