Presentación del autor Daniel Kroening:

Libros publicados hasta ahora por Daniel Kroening:

Procedimientos de decisión: Un punto de vista algorítmico - Decision Procedures: An Algorithmic...
Springer Nature
Un procedimiento de decisión es un algoritmo que,...
Procedimientos de decisión: Un punto de vista algorítmico - Decision Procedures: An Algorithmic Point of View
<<
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)