Program logics : a short survey /

Guardado en:
Detalles Bibliográficos
Autores principales: Fisher, Michael., Barringer, Howard.
Formato: Livro
Lenguaje:Inglês
Publicado: University of Manchester, Department of Computer Science, 1986.
Colección:Technical report ;
Materias:
Programação lógica.
Lógica temporal.
Acceso en línea:https://minerva.ufrj.br/F/?func=direct&doc_number=000041421&local_base=UFR01
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares