Criação de uma biblioteca padrão para a linguagem HasCASL

Criação de uma biblioteca padrão para a linguagem HasCASL

Orientador: Arnaldo Vieira Moura === Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação === Made available in DSpace on 2018-08-16T20:14:05Z (GMT). No. of bitstreams: 1 Cabral_GlauberModolo_M.pdf: 1025512 bytes, checksum: 7aaf4d32142384e7200596499be77cca (MD5) Prev...

Full description

Bibliographic Details
Main Author: Cabral, Glauber Módolo
Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
Format: Others
Language:Portuguese
Published: [s.n.] 2010
Subjects:
Engenharia de software
Métodos formais (Computação)
Software engineering
Formal methods (Computer science)
Online Access:CABRAL, Glauber Módolo. Criação de uma biblioteca padrão para a linguagem HasCASL. 2010. 159 p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/275798>. Acesso em: 16 ago. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/275798

Internet

CABRAL, Glauber Módolo. Criação de uma biblioteca padrão para a linguagem HasCASL. 2010. 159 p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/275798>. Acesso em: 16 ago. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/275798

Similar Items