LIBROS DEL AUTOR: gordon j pace

2 resultados para LIBROS DEL AUTOR: gordon j pace

  • Runtime Verification
    Christian Colombo / Gordon J. Pace
    This book provides a hands-on introduction to runtime verification which guides the reader from zero to sufficient practical knowledge required to consider and apply it in industry. It starts with almost no assumptions on the knowledge of the reader and provides exercises throughout the book through which the reader builds their own runtime verification tool. All that is requir...
    Disponible

    68,41 €

  • Mathematics of Discrete Structures for Computer Science
    Gordon J. Pace
    Mathematics plays a key role in computer science, some researchers would consider computers as nothing but the physical embodiment of mathematical systems. And whether you are designing a digital circuit, a computer program or a new programming language, you need mathematics to be able to reason about the design -- its correctness, robustness and dependability. This book covers...
    Disponible

    66,19 €