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