LIBROS DEL AUTOR: gerald futschek

1 resultados para LIBROS DEL AUTOR: gerald futschek

gerald futschek Eliminar filtro Quitar filtros
  • Programmentwicklung und Verifikation
    Gerald Futschek
    Die entscheidenden Argumente für die Korrektheit eines Programms können am einfachsten schon bei seiner Entwicklung festgehalten werden. Die Methoden, mit denen man den Korrektheitsbeweis Hand in Hand mit der Programmentwicklung führt, werden in diesem Buch beschrieben. Die Programme und die Informationen für die Verifikation werden mit eigens zu dies...
    Disponible

    91,29 €