1
Assuntos:
“...Programa de computação (Validação)...”
Especificação formal utilizando projeto orientado a objeto e SDL'92 como alternativa para a evolução de protocolos de interconexão de redes locais e ATM
Dissertação