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

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

Bibliographic Details
Other Authors: 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
Format: Book
Language:Castellano
Subjects:
Universidad de Valladolid (España) > Tesis y disertaciones académicas.
Programación de ordenadores.
See on Biblioteca de la Universidad Pontificia de Salamanca:https://koha.upsa.es/cgi-bin/koha/opac-detail.pl?biblionumber=1010456
Request an interlibrarian loan: Email | Form
Description
Item Description:Presentado originalmente como tesis: Universidad de Valladolid, 2004
Physical Description:VII, 242 p.

Similar Items