LIBROS DEL AUTOR: amir pnueli

2 resultados para LIBROS DEL AUTOR: amir pnueli

amir pnueli Eliminar filtro Quitar filtros
  • The Temporal Logic of Reactive and Concurrent Systems
    Amir Pnueli / Zohar Manna
    Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems. This volume, the first of two, subt...
    Disponible

    65,56 €

  • Temporal Verification of Reactive Systems
    Amir Pnueli / Zohar Manna
    This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some final value on termination. The family of reactive systems includes many classes of programs whose correct and reliable construction is con­ sidered to be particularly challengi...
    Disponible

    132,76 €