TEMPORAL LOGIC OF PROGRAMS.
Na minha lista:
Autor principal: | |
---|---|
Formato: | Livro |
Idioma: | Inglês |
Publicado em: |
SPRINGER-VERLAG,
S1987
|
Assuntos: | |
Acesso em linha: | https://minerva.ufrj.br/F/?func=direct&doc_number=000178716&local_base=UFR01 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|