LIBROS DEL AUTOR: tobias nipkow

5 resultados para LIBROS DEL AUTOR: tobias nipkow

tobias nipkow Eliminar filtro Quitar filtros
  • Functional Data Structures and Algorithms
    Tobias Nipkow
    This book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Starting with sorting and searching, it moves on to priority queues and advanced design and analysis techniques: dynamic programming, amortized analysis, splay trees, skew heaps and pairing heaps. The final part of the book covers a number of selected fun...
    Disponible

    82,49 €

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

  • Isabelle/HOL
    Lawrence C. Paulson / Markus Wenzel / Tobias Nipkow
    This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. It bypasses ?rst-order logic and minimizes discussion of meta-theory. It is writte...
    Disponible

    72,68 €

  • Term Rewriting and All That
    Baader Franz / Franz Baader / Tobias Nipkow
    ...
    Disponible

    87,09 €

  • Rewriting Techniques and Applications
    Tobias Nipkow
    This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. The 22 revised full papers presented were carefully selected from a total of 61 submissions by the program committee with the assistance of 113 additional referees. The book c...
    Disponible

    65,96 €