LIBROS DEL AUTOR: gerwin klein

1 resultados para LIBROS DEL AUTOR: gerwin klein

gerwin 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 €