Resultados
|
|
|
|
|
PC magazine en español Tipo de material: Recurso continuo; Formato:
impresión grande ; Tipo de descriptor de recurso continuo:
periódico Idioma: Español Editor: México, D.F. : Corporación Editorial, 1990-Otro título: PC (México, D.F.).Disponibilidad: No disponible para préstamo a domicilio:Revistas: Estantería cerrada (104).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Principles of model checking / Christel Baier, Joost-Pieter Katoen por Baier, Christel [autor] | Katoen, Joost-Pieter [autor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Cambridge, Massachusetts. : The MIT Press, [2008?]Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.76V47 B35, ...
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Process-based software project management / F. Alan Goodman por Goodman, F. Alan [autor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Boca Raton, Florida : Auerbach, 2006Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 G66.
|
|
|
|
|
|
Program verification / Francez nissim por Francez, Nissim [autor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Wokingham, england ; México city : Addison-wesley, c1992Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.76V47 F73, ...
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|