LIBROS DEL AUTOR: ernst rudiger olderog

2 resultados para LIBROS DEL AUTOR: ernst rudiger olderog

ernst rudiger olderog Eliminar filtro Quitar filtros
  • Verification of Sequential and Concurrent Programs
    Ernst-Rüdiger Olderog / Krzysztof R. Apt
    Computer programs are becoming more and more part of systems that we use to rely on in our daily lives. The proper functioning and safety of these systems is of paramount importance. A major challenger for computer science is to develop methods that ensure program correctness. This textbook provides a structured introduction to program verification using an assertional approach...
    Disponible

    49,93 €

  • Programmverifikation
    Ernst-Rüdiger Olderog / Krzysztof Apt
    Dieses Buch bietet als erstes Lehrbuch eine systematische Einf}hrung in die Programmverifikation. Sequentielle, parallele und verteilte Programme werdenin einheitlicher Weise behandelt. In den einzelnen Kapiteln des Buches werden deterministische und nichtdeterministische Programme, Programme mit gemeinsamen Variablen und verteilte Programme mit...
    Disponible

    47,88 €