Program logics : a short survey /

Bewaard in:
Bibliografische gegevens
Hoofdauteurs: Fisher, Michael., Barringer, Howard.
Formaat: Livro
Taal:Inglês
Gepubliceerd in: University of Manchester, Department of Computer Science, 1986.
Reeks:Technical report ;
Onderwerpen:
Programação lógica.
Lógica temporal.
Online toegang:https://minerva.ufrj.br/F/?func=direct&doc_number=000041421&local_base=UFR01
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!

Gelijkaardige items