"Formal Specification and Validation of Real Tims Sistems"

Detalhes bibliográficos
Data de Publicação: 2000
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_7ed4d403f06b03fb9c0d5e58a35a5933
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv "Formal Specification and Validation of Real Tims Sistems"
title "Formal Specification and Validation of Real Tims Sistems"
spellingShingle "Formal Specification and Validation of Real Tims Sistems"
title_short "Formal Specification and Validation of Real Tims Sistems"
title_full "Formal Specification and Validation of Real Tims Sistems"
title_fullStr "Formal Specification and Validation of Real Tims Sistems"
"Formal Specification and Validation of Real Tims Sistems"
title_full_unstemmed "Formal Specification and Validation of Real Tims Sistems"
"Formal Specification and Validation of Real Tims Sistems"
title_sort "Formal Specification and Validation of Real Tims Sistems"
publishDate 2000
format masterThesis
author_role author
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE PERNAMBUCO
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE PERNAMBUCO
instname_str UNIVERSIDADE FEDERAL DE PERNAMBUCO
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPES"Formal Specification and Validation of Real Tims Sistems""Formal Specification and Validation of Real Tims Sistems""Formal Specification and Validation of Real Tims Sistems""Formal Specification and Validation of Real Tims Sistems""Formal Specification and Validation of Real Tims Sistems""Formal Specification and Validation of Real Tims Sistems""Formal Specification and Validation of Real Tims Sistems"2000masterThesisauthorUNIVERSIDADE FEDERAL DE PERNAMBUCOUNIVERSIDADE FEDERAL DE PERNAMBUCOUNIVERSIDADE FEDERAL DE PERNAMBUCOPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
_version_ 1741889367718232064

Registros relacionados