Vídeos - Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (Computer Engineering) (English Edition)
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.