LIBROS DEL AUTOR: tobias klein

2 resultados para LIBROS DEL AUTOR: tobias klein

tobias klein Eliminar filtro Quitar filtros
  • Concrete Semantics
    Gerwin Klein / Tobias Nipkow
    Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle’s structured proof language. Part II is an introduction to the semantics of imperative languages with an emphasis on applications like compilers and program anal...
    Disponible

    68,71 €

  • Das Krankenversicherungssystem in Deutschland und Möglichkeiten der Beitragsgestaltung und Beitragsbeeinflussung
    Tobias Klein
    Inhaltsangabe:Einleitung: Die Möglichkeit, sich gegen die wirtschaftlichen Folgen einer Krankheit abzusichern, wurde schon im späten Mittelalter durch zahlreiche, überwiegend berufsständisch und regional abgegrenzte Selbsthilfeorganisationen geboten. Die Grundlage für deren Funktionsfähigkeit waren einerseits starke persönliche und ideelle Bindungen an die Gemeinschaft, andere...
    Disponible

    42,04 €