Measurement, Modelling and Evaluation of Computing Systems Más libros de Holger Hermanns

Dependable Software Engineering. Theories, Tools, and Applications

Computer Aided Verification