Presentación del autor Ranjit Jhala:

Libros publicados hasta ahora por Ranjit Jhala:

Tipos de refinamiento: A Tutorial - Refinement Types: A Tutorial
Los tipos de refinamiento pueden ser el vector que introduzca la verificación formal en la corriente...
Tipos de refinamiento: A Tutorial - Refinement Types: A Tutorial
<<
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)