Especificação formal e implementação de um protótipo para a linguagem paralog
Main Author: | Ferreira, Simone Nasser Matos |
---|---|
Other Authors: | Universidade Federal do Paraná. Setor de Ciencias Exatas. Programa de Pós-Graduaçao em Informática |
Format: | Others |
Language: | Portuguese |
Published: |
2010
|
Subjects: | |
Online Access: | http://hdl.handle.net/1884/24721 |
Similar Items
-
Editor topologico para a linguagem de especificação de computações LegoShell
by: Pinon Arias, Hernan
Published: (1991) -
Ferramentas para linguagem de especificação LOTOS
by: Lima, Humberto Maia
Published: (1992) -
Um estudo sobre verificação formal de sistemas concorrentes
by: Queiroz, João Paulo Carvalho Colu de
Published: (2012) -
FIG : uma linguagem para especificação de figuras
by: Setubal, João Carlos, 1957-
Published: (1987) -
Ambiente para execução de programas paralelos escritos na linguagem superpascal em um multicomputador com rede de interconexão dinamica
by: Merkle, Carla
Published: (2012)