Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos

A especificação abstrata de tipos de dados, a hoje um dos conceitos mais importantes, aceitos e compreendidos da Ciência da Computação, que permite descrever as principais entidades de um sistema baseado em computador através das propriedades que tais entidades devem satisfazer. Isto a feito usando...

Full description

Bibliographic Details
Main Author: Castro Vera, Ausberto Silverio
Other Authors: Nunes, Daltro Jose
Format: Others
Language:Portuguese
Published: 2010
Subjects:
LOP
Online Access:http://hdl.handle.net/10183/26698