Listar Computación por tema "Operational semantics"
Mostrando ítems 1-1 de 1
-
Semantics for an algebraic specification language
(2006) [Tesis de maestría]Prosoft é um grupo de pesquisa do Instituto de Informática da UFRGS, desenvolvido pelo grupo de pesquisa homônimo e coordenado pelo Professor Daltro José Nunes. O objetivo do projeto é desenvolver um ambiente de desenvolvimento ...