skip to main content

Abstract compositional analysis of iterated relations a structural approach to complex state transition systems

Frédéric Geurts

Berlin Springer New York c1998

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

Expandir ICMC - Inst. Ciên. Mat. Computação localizações ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1426 ) Disponível na Biblioteca
Expandir IME - Inst. Matemática e Estatística localizações IME - Inst. Matemática e Estatística (S L471c v.1426 ) Disponível na Biblioteca

Buscando em bases de dados remotas. Favor aguardar.