Program logics : a short survey /

Shranjeno v:
Bibliografske podrobnosti
Main Authors: Fisher, Michael., Barringer, Howard.
Format: Livro
Jezik:Inglês
Izdano: University of Manchester, Department of Computer Science, 1986.
Serija:Technical report ;
Teme:
Programação lógica.
Lógica temporal.
Online dostop:https://minerva.ufrj.br/F/?func=direct&doc_number=000041421&local_base=UFR01
Oznake: Označite
Brez oznak, prvi označite!

Podobne knjige/članki