Desenvolvimento sistematico de programas corretos:a abordagem denotacional/Por Raul Cesar Baptista Martins, Arnaldo Vieira Moura.
Textos preparados para a VI Escola de Computação, Campinas, 1988
| Main Author: | Martins, Raul César Baptista |
|---|---|
| Other Authors: | Moura, Arnaldo Vieira |
| Format: | Livro |
| Language: | por |
| Published: |
Campinas, SP:UNICAMP,
2018
|
| Subjects: | |
| Online Access: |
http://www.redebim.dphdm.mar.mil.br/pergamum/biblioteca/index.php?codAcervo=53190 http://repositorio.mar.mil.br/handle/ripcmb/623101 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|