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
Navegando Bodega Estantes, Código de colección: Colección / Fondo / Acervo / Resguardo Cerrar el navegador de estanterías
004.2 Y687a Analisis estructurado moderno / | 004.2 Y687a Analisis estructurado moderno / | 004.21 A848j Join application design: the group session approach to system design/ | 004.21 C517m Model Checking/ | 004.21 K353a 3a.ed Análisis y diseño de sistemas/ | 004.21 K353s 3a.ed. Systems analysis and design/ | 004.21 S355an Análisis y diseño de sistemas de información/ |
Incluye bibliografía e índice p. 297
No hay comentarios en este titulo.