skip to main content

Dynamic properties of statecharts a reachability tree and analysis of some properties

Paulo Cesar Masiero I G Boaventura; José Carlos Maldonado; Conferencia Latinoamericana de Informatica (18. 1992 Las Palmas)

Actas Espanha : Universidad de las Palmas, 1992

Espanha Universidad de las Palmas 1992

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-835927 ) e outros locais(Acessar)

ICMC - Inst. Ciên. Mat. Computação (PROD-835927 ) Disponível na Biblioteca
Local Número de chamada Descrição Status / Emprestado até Código de barras Tipo de item Opções de solicitação
PROD-835927 Item disponível 000835927-010 DOCUMENTO IMPRESSO
Select Request Option:
  • Localização: ICMC-Inst. C. Mat. Computaçã
  • Número de chamada: PROD-835927
  • Status: Item disponível
  • Código de Barras: 000835927-010
  • Tipo de item: DOCUMENTO IMPRESSO
  • Status de item: PCD - não circula
  • Exemplar: 1

Buscando em bases de dados remotas. Favor aguardar.