Su búsqueda retornó 2 resultados.

Resultados
		Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications [recurso electrónico] / by Gaurav Singh, Sandeep K. Shukla. por Singh, Gaurav [author.] \| Shukla, Sandeep K [author.] \| SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: New York, NY : Springer New York, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK7888.4.
		Synthesis of Embedded Software [recurso electrónico] : Frameworks and Methodologies for Correctness by Construction / edited by Sandeep K. Shukla, Jean-Pierre Talpin. por Shukla, Sandeep K [editor.] \| Talpin, Jean-Pierre [editor.] \| SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Boston, MA : Springer US : Imprint: Springer, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK7888.4.

Refinar su búsqueda