Presentación del autor Leslie Lamport:

Libros publicados hasta ahora por Leslie Lamport:

Especificación de sistemas: El lenguaje y las herramientas Tla+ para ingenieros de hardware y...
Este libro es la destilación de más de 25 años de...
Especificación de sistemas: El lenguaje y las herramientas Tla+ para ingenieros de hardware y software - Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers
<<
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)