skip to main content

Dynamic logic

David Harel 1950- Dexter Kozen 1951-; Jerzy Tiuryn

Cambridge, Mass MIT Press 2000

Localização: IME - Inst. Matemática e Estatística    (QA860 H275d )(Acessar)

Identifique-se para postar sua resenha

Identifique-se para adicionar novas tags

Buscando em bases de dados remotas. Favor aguardar.