LIBROS DEL AUTOR: tobias wenzel

2 resultados para LIBROS DEL AUTOR: tobias wenzel

tobias wenzel Eliminar filtro Quitar filtros
  • Revisionssicheres IT-Outsourcing am Beispiel der Auslagerung rechnungslegungsrelevanter Anwendungen an einen Application Service Provider
    Tobias Wenzel
    Bachelorarbeit aus dem Jahr 2010 im Fachbereich Informatik - Wirtschaftsinformatik, Note: 1,5, Duale Hochschule Baden-Württemberg, Villingen-Schwenningen, früher: Berufsakademie Villingen-Schwenningen, Sprache: Deutsch, Abstract: Mit der Auslagerung von IT-Anwendungen, welche einen Einfluss auf die Rechnungslegung haben, ergeben sich für Unternehmen besondere Nachweis- und Sorg...
    Disponible

    43,94 €

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