skip to main content

Logic and algebra of specification proceedings

Nato Advanced Institute on Logic and Algebra of Specification (1991 : Marktoberdorf, Dt) Friedrich Ludwig Bauer; Wilfried Brauer; Schwichtenberg, Helmut

Berlin Springer 1993

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

Buscando em bases de dados remotas. Favor aguardar.