Resultados de búsqueda - "Computer software Verification"

  • Mostrando 1 - 2 Resultados de 2
Limitar resultados
  1. Imagen de Portada

    Tools and Algorithms for the Construction and Analysis of Systems por Arie Gurfinkel, Marijn Heule

    Publicado 2025
    Ver este registro en EBSCOhost
    Libro
  2. Imagen de Portada

    Computer Aided Verification por Hana Chockler, Georg Weissenbacher

    Publicado 2018
    Ver este registro en EBSCOhost
    Libro

Herramientas de búsqueda: