OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Query: FORMAL LANGUAGES Year: 2012 Language: Portugués Subject: Distributed Systems

Sort by Score Title Year -

1-2 from 2 results (0.013 seconds)

Title: Utilizando LOTOS na concepção formal de uma aplicação para gerência de redes : Especificação e verificação
Author: Mello, Braulio Adriano de / Camargo, Murilo Silva de / Specialski, Elizabeth Sueli
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / Simulation / Parallel processing / Distributed / Técnicas de Descrição Formal / LOTOS / Simulação / Verificação / Gerência de Redes / Gateway CMIP-SNMP

Acceder
Title: Concepção de um modelo de controlo de gestão numa PME portuguesa
Author: Rodrigues, Cátia
Language: Portugués
Repository: 73
Subject: Sistema / Controlo / Gestão / Sistemas / Informação / Balanced / Scorecard / PME / Management / Control / Systems / Information

Acceder

« Previous 1 Next »