LIBROS DEL AUTOR: r krzysztof apt

3 resultados para LIBROS DEL AUTOR: r krzysztof apt

r krzysztof apt Eliminar filtro Quitar filtros
  • BRIEF HISTORY OF MATHEMATICS FOR CURIOUS MINDS, A
    APT KRZYSZTOF R / KRZYSZTOF R APT
    This book offers a short and accessible account of the history of mathematics, written for the intelligent layman to gain a better appreciation of its beauty, relevance, and place in history. It traces the development of the subject throughout the centuries, starting with the so-called Lebombo bone, the oldest known mathematical object that was estimated to be at least 43,000 y...
    Disponible

    46,53 €

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

  • Verification of Sequential and Concurrent Programs
    Frank S. de Boer / Krzysztof R. Apt
    Part I: In the Beginning Introduction Preliminaries Part II: Deterministic Programs while Programs Recursive Programs Recursive Programs with Parameters Object-Oriented Programs Part III: Parallel Programs Disjoint Parallel Programs Parallel Programs with Shared Variables Parallel Programs with Synchronization Part IV: Nondeterministic and Distributed Programs Nondeterministic ...
    Disponible

    120,50 €