Vídeos - Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Veja os vídeos relacionados
Se não encontrou o vídeo que estava procurando, Cadastre-o aqui.
Este livro não tem nenhum vídeo relacionado.