Biblioteca Jorge Álvarez Lleras Koha

Vista normal Vista MARC Vista ISBD

Systems and software verification: model-checking techniques and tools/ B. Bérard ... [et. al.] - Berlin: Springer 2001 - 190 p.

Incluye bibliografía al final de cada capítulo e índice p. 183

ISBN: 3540415238

Subjects--Topical Terms:
ANÁLISIS DE SISTEMAS
PROGRAMAS PARA COMPUTADOR--VERIFICACION
SISTEMAS DE COMUNICACIÓN --VERIFICACION

Dewey Class. No.: 004.21 / S977

Hacer reserva
Imprimir
Agregar a su carrito (remover)
Guardar registro
Más búsquedas
Código QR

Biblioteca Jorge Álvarez Lleras

SERVICIOS

Recursos
electrónicos

Metabuscador

Herramientas
de análisis
e impacto

Gestores
bibliográficos

Repositorio

Oferta académica

Nuestro Campus

Internacionalización

Ayuda