skip to main content
Mostrar Somente
Refinado por: tipo de recurso: Anais de Congresso remover assunto: Computer Science remover data de publicação: Antes de2000 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Design of Distributed Multimedia Applications (DAMD)
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Design of Distributed Multimedia Applications (DAMD)

de Souza, Wanderley Lopes ; Sampaio, Paulo Nazareno Maia ; Almeida, Maria Janilce B. ; Gaspary, Luciano Paschoal ; Granville, Lisandro Zambenedetti ; Farines, Jean-Marie ; Scheffel, Roberto Milton ; Willrich, Roberto ; de Camargo, Murilo S. ; Domingos, Marcelo

Applied Formal Methods — FM-Trends 98, 1999, p.77-91 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

2
Automatic refinement of distributed systems specifications using program transformations
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Automatic refinement of distributed systems specifications using program transformations

Lima De Santana, A.C. ; Do Prado, A.F. ; De Souza, W.L. ; Sant'Anna, M.

Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241), 1998, p.154-163

IEEE

Texto completo disponível

Buscando em bases de dados remotas. Favor aguardar.