LIBROS DEL AUTOR: wolfgang schreiner

3 resultados para LIBROS DEL AUTOR: wolfgang schreiner

wolfgang schreiner Eliminar filtro Quitar filtros
  • Concrete Abstractions
    Wolfgang Schreiner
    This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science; they are modeled in a formal language based on first-order ...
    Disponible

    47,88 €

  • Thinking Programs
    Wolfgang Schreiner
    This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute from given inputs wanted outputs, and programs that describe continuously executing...
    Disponible

    100,64 €

  • Security and Privacy Management in Service Oriented Architectures
    Wolfgang Schreiner
    ...
    Disponible

    97,45 €