Similares - Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (Computer Engineering) (English Edition)

Veja os livros relacionados

Adicione um livro similar. Cadastre-a aqui.

0 similares|exibindo 1 a 0