Holger Hermanns

الكتب
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
٢٠٢٣
Measurement, Modelling and Evaluation of Computing Systems Measurement, Modelling and Evaluation of Computing Systems
Measurement, Modelling and Evaluation of Computing Systems
٢٠٢٠
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠٠٧