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 Repository: 37 Language: Portugués Year: 1997

Sort by Score Title Year -

1-3 from 3 results (0.013 seconds)

Title: A combinação da técnica de orientação a objetos ooa com a linguagem formal de especificação sdl para o desenvolvimento de um sistema de banco de dados
Author: Nassif, Nadia Adel / Borelli, Walter da Cunha
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / Linguagem Formal de Especificação SDL / Desenvolvimento de um Sistema de Banco de Dados / SOFTWARE ENGINEERING / base de datos / Formal Languages

Acceder
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: Avaliação das técnicas de compactação aplicáveis a programas em linguagens funcionais em arquiteturas superescalares
Author: Silva, Mariza Bigonha Andrade da / Silva, Roberto Bigonha da / Costa, Patricia Campos
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Languages / Programas em Linguagens Funcionais / Arquiteturas Superescalares / técnicas de compactação

Acceder

« Previous 1 Next »