H

Heike Wehrheim

4 books found

Books by Heike Wehrheim
Fundamental Approaches to Software EngineeringHeike Wehrheim
⏱ 9h 16m

Fundamental Approaches to Software Engineering

Heike Wehrheim

2020556 pp.
Formal methods for open object-based distributed systemsRoberto Gorrieri
⏱ 4h 32m

Formal methods for open object-based distributed systems

Roberto Gorrieri

2006272 pp.
Tests and ProofsWolfgang Ahrendt
⏱ 3h 14m

Tests and Proofs

Wolfgang Ahrendt

2020194 pp.
Correct System DesignRoland Meyer
⏱ 4h 45m

Correct System Design

Roland Meyer

2015285 pp.