Model Checking/ Edmund M. Clarke, Orna Grumberg and Doron A. Peled
Editor: Cambridge: The MIT Press 1999Descripción: 314 pISBN: 0262032708Tema(s): ANÁLISIS DE SISTEMAS | DISEÑO DE SISTEMAS | SISTEMAS DE COMUNICACIÓNClasificación CDD: 004.21Tipo de ítem | Ubicación actual | Colección | Signatura | Info Vol | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|---|
LIBRO - MATERIAL GENERAL | Bodega | Colección / Fondo / Acervo / Resguardo | 004.21 C517m (Navegar estantería) | Ej. 1 | 1 | Disponible | 016257 |
Total de reservas: 0
Incluye bibliografía e índice p. 297
No hay comentarios en este titulo.