LIBROS DEL AUTOR: janusz laski

1 resultados para LIBROS DEL AUTOR: janusz laski

janusz laski Eliminar filtro Quitar filtros
  • Software Verification and Analysis
    Janusz Laski / William Stanley
    The Semantic Analysis.- Why Not Write Correct Software the First Time?.- How to Prove a Program Correct: Programs Without Loops.- How to Prove a Program Correct: Iterative Programs.- Prepare Test for Any Implementation: Black-Box Testing.- Static Analysis.- Intermediate Program Representation.- Program Dependencies.- What Can One Tell About a Program Without Its Execution: Stat...
    Disponible

    97,25 €