Systems and software verification: model-checking techniques and tools/ B. Bérard ... [et. al.]
Colaborador(es): Berard, B. Laroussinie F. Finkel, A. Bidoit M. Petit A. Petrucci, L
Tipo de material: 
TextoEditor: Berlin: Springer 2001Descripción: 190 pISBN: 3540415238Tema(s): ANÁLISIS DE SISTEMAS | PROGRAMAS PARA COMPUTADOR -- VERIFICACION | SISTEMAS DE COMUNICACIÓN -- VERIFICACIONClasificación CDD: 004.21
| Tipo 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
|
Biblioteca Jorge Álvarez Lleras | Colección / Fondo / Acervo / Resguardo | 004.21 S977 (Navegar estantería) | Ej. 1 | 1 | Disponible | 016258 |
Total de reservas: 0
Navegando Biblioteca Jorge Álvarez Lleras Estantes, Código de colección: Colección / Fondo / Acervo / Resguardo Cerrar el navegador de estanterías
| 004.21 D949d Diseño de software / | 004.21 D949i Ingeniería y arquitectura del software / | 004.21 K353a 3a.ed Análisis y diseño de sistemas/ | 004.21 S977 Systems and software verification: model-checking techniques and tools/ | 004.22 B177s 2a.ed Software architecture in practice/ | 004.22 N88c 2a.ed. The essentials of computer organization and architecture / | 004.22 P451g Guide to enterprise IT architecture / |
Incluye bibliografía al final de cada capítulo e índice p. 183
AK. 45 No. 205 - 59, Autopista Norte.
PBX: +60(1) 668 3600 - Bogotá.
No hay comentarios en este titulo.