Tag: Computação confiável

Resumo do Logic in Computer Science – Michael Huth & Mark Ryan

O livro “Logic in Computer Science” apresenta a lógica como uma ferramenta…

Rodis Gonçalves Bitencurt Rodis Gonçalves Bitencurt