Su búsqueda retornó 2 resultados.

Resultados
		Handbook of real-time and embedded systems / edited by Insup Lee, Joseph Y-T. Leung, Sang H. Son. por Lee, Insup \| Leung, Joseph Y-T \| Son, Sang H. Series Chapman & Hall/CRC computer and information science seriesTipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Boca Raton : Chapman & Hall/CRC, c2008Acceso en línea: Table des matières Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Tijuana (1) Signatura topográfica: QA76.54 H35 2008.
		Runtime Verification [recurso electrónico] : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings / edited by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann. por Barringer, Howard [editor.] \| Falcone, Ylies [editor.] \| Finkbeiner, Bernd [editor.] \| Havelund, Klaus [editor.] \| Lee, Insup [editor.] \| Pace, Gordon [editor.] \| Rosu, Grigore [editor.] \| Sokolsky, Oleg [editor.] \| Tillmann, Nikolai [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6418Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.

Refinar su búsqueda