Verificación automática del comportamiento activo de UML usando métodos formales

Detalles Bibliográficos
Otros Autores:	Beato Gutiérrez, María Encarnación. autor (autor), Barrio Solorzano, Manuel. director de la publicación (director de la publicación), Cuesta Quintero, Carlos E. director de la publicación
Formato:	Libro
Idioma:	Castellano
Materias:	Universidad de Valladolid (España) > Tesis y disertaciones académicas. Programación de ordenadores.
Ver en Biblioteca de la Universidad Pontificia de Salamanca:	https://koha.upsa.es/cgi-bin/koha/opac-detail.pl?biblionumber=1010456

Solicitar por préstamo interbibliotecario: Correo | Formulario

Descripción
Notas:	Presentado originalmente como tesis: Universidad de Valladolid, 2004
Descripción Física:	VII, 242 p.

Ejemplares similares