Número de Chamada
|
005.1 M382d
|
|
Autor Principal
|
Martins, Raul Cesar Baptista
|
|
Entradas Secundárias - Autor
|
Moura, Arnaldo Vieira 1950-
Escola de Computação (6. : Campinas, SP 1988:)
|
|
Título Principal
|
Desenvolvimento sistemático de programas corretos : a abordagem denotacional / / Raul Cesar Baptista Martins, Arnaldo Vieira Moura
|
|
Publicação
|
Campinas : Ed. da UNICAMP, 1988.
|
|
Descrição Física
|
385 p. : il. ; 23 cm
|
|
Notas
|
Versão preliminar preparada para a VI Escola de Computação, Campinas, 1988 Inclui bibliografia
|
|
Notas Locais
|
Campinas : |UNICAMP|, 1988.
|
|
Assuntos
|
Engenharia de software
|