MERAN
Catálogo
Búsqueda Avanzada
Estantes Virtuales
Contacto
Iniciar sesión
3580
Aplicación de álgebras Fork en la verificación automática de sistemas especificados en lógica modal
Baum, Gabriel Alfredo
Título:
Aplicación de álgebras Fork en la verificación automática de sistemas especificados en lógica modal
Nombre personal (NR):
Baum, Gabriel Alfredo
Articulo de:
CACIC [CD-ROM] / Congreso Argentino de Ciencias de la Computación (4º : 1998 : Neuquén) / Edición: (1998) (Libro)
Puede solicitar más fácilmente el ejemplar con:
CD 228
×
Reserva de ejemplar
Está a punto de reservar un ejemplar de
Aplicación de álgebras Fork en la verificación automática de sistemas especificados en lógica modal