skip to main content

The use of formal specification of software

Seminar on the Use of Formal Specification of Software (1979 : Berlin) H K Berg; Wolfgang K Giloi

Berlin Springer 1980

Localização: IME - Inst. Matemática e Estatística    (QA754.C B493u e.2 )(Acessar)

Buscando em bases de dados remotas. Favor aguardar.