Métodos formais para o desenvolvimento de programas

Alencar, Paulo S. C.

Métodos formais para o desenvolvimento de programas - 175 páginas

950-13-9878-1


Informatica
Semantica
Floyd
Vdm