Program logics : a short survey /

Na minha lista:
Detalhes bibliográficos
Main Authors: Fisher, Michael., Barringer, Howard.
Formato: Livro
Idioma:Inglês
Publicado em: University of Manchester, Department of Computer Science, 1986
Colecção:Technical report ;
Assuntos:
Programação lógica.
Lógica temporal.
Acesso em linha:https://minerva.ufrj.br/F/?func=direct&doc_number=000041421&local_base=UFR01
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados