Especificación formal de arquitecturas de software basadas en componentes: chequeo de corrección con cálculo−Parq

Fuente: Redalyc

Salvato in:

Dettagli Bibliografici
Autore principale:	Henry Alberto Diosa
Natura:	Artículo científico
Lingua:	es
Pubblicazione:	Universidad Distrital Francisco José de Caldas 2010
Soggetti:	Multidisciplinarias (Ciencias Sociales) calculo− ρarq método formal modelo de referencia chequeo de corrección componentes de software
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online