LIBROS DEL AUTOR: kurt sieber

1 resultados para LIBROS DEL AUTOR: kurt sieber

kurt sieber Eliminar filtro Quitar filtros
  • The Foundations of Program Verification
    Kurt Sieber
    This is a textbook on program verification. It concentrates on those verification methods that have now become classic such as the inductive assertions method of Floyd, the axiomatic method of Hoare and Scott’s fixpoint induction. The aim of the book is to present these different verification methods and to explain their mathemati­ cal background. The...
    Disponible

    56,18 €