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) |
|