skip to main content

Korso methods, languages, and tools for the construction of correct software : final report

M Broy; Stefan Jahnichen

Berlin Springer 1995

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.1009 e.1 ) e outros locais(Acessar)

Buscando em bases de dados remotas. Favor aguardar.