Presentación del autor Talia Ringer:

Libros publicados hasta ahora por Talia Ringer:

Qed at Large: Un estudio de ingeniería de software verificado formalmente - Qed at Large: A Survey...
New Publ Inc
El desarrollo de pruebas formales de la corrección...
Qed at Large: Un estudio de ingeniería de software verificado formalmente - Qed at Large: A Survey of Engineering of Formally Verified Software
<<
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.10.17 08:50 (GMT+2)