|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
19/07/1996 |
|
Data da última atualização: |
27/09/2007 |
|
Autoria: |
MEIRA, S. R. L.; MIRANDA, O. M. L.; VASCONCELOS, A. M. L.; JANSEN, S. A.; MIN, L. T.; NEVES, D. O. D. |
|
Título: |
For MooZ: um ambiente baseado em hipertexto para o desenvolvimento de especificações formais. |
|
Ano de publicação: |
1995 |
|
Fonte/Imprenta: |
In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 9., 1995, Recife. Anais... Recife: Universidade Federal de Pernambuco, 1995. |
|
Páginas: |
p. 447-450. |
|
Idioma: |
Português |
|
Conteúdo: |
O ambiente. Plataforma. Referências. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 00675naa a2200193 a 4500
001 1002987
005 2007-09-27
008 1995 bl uuuu u00u1 u #d
100 1 $aMEIRA, S. R. L.
245 $aFor MooZ$bum ambiente baseado em hipertexto para o desenvolvimento de especificações formais.
260 $c1995
300 $ap. 447-450.
520 $aO ambiente. Plataforma. Referências.
700 1 $aMIRANDA, O. M. L.
700 1 $aVASCONCELOS, A. M. L.
700 1 $aJANSEN, S. A.
700 1 $aMIN, L. T.
700 1 $aNEVES, D. O. D.
773 $tIn: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 9., 1995, Recife. Anais... Recife: Universidade Federal de Pernambuco, 1995.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
