Presentación del autor B. Berard:

Libros publicados hasta ahora por B. Berard:

Verificación de sistemas y software: Técnicas y herramientas de comprobación de modelos - Systems...
Springer Nature
La comprobación de modelos es un potente método de...
Verificación de sistemas y software: Técnicas y herramientas de comprobación de modelos - Systems and Software Verification: Model-Checking Techniques and Tools
<<
1
>>

© Book1 Group - todos los derechos reservados.
El contenido de este sitio no se puede copiar o usar, ni en parte ni en su totalidad, sin el permiso escrito del propietario.
Última modificación: 2024.11.14 07:32 (GMT)