LIBROS DEL AUTOR: jose bacelar almeida

1 resultados para LIBROS DEL AUTOR: jose bacelar almeida

jose bacelar almeida Eliminar filtro Quitar filtros
  • Rigorous Software Development
    Jorge Sousa Pinto / José Bacelar Almeida / Maria João Frade
    The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software. Program Verification is the area of computer science that studies mathematical methods for checking that a program conforms to its specification. This t...
    Disponible

    47,86 €