LIBROS DEL AUTOR: zohar manna

4 resultados para LIBROS DEL AUTOR: zohar manna

zohar manna 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 €

  • The Calculus of Computation
    Aaron R. Bradley / Zohar Manna
    Foundations.- Propositional Logic.- First-Order Logic.- First-Order Theories.- Induction.- Program Correctness: Mechanics.- Program Correctness: Strategies.- Algorithmic Reasoning.- Quantified Linear Arithmetic.- Quantifier-Free Linear Arithmetic.- Quantifier-Free Equality and Data Structures.- Combining Decision Procedures.- Arrays.- Invariant Generation.- Further Reading. ...
    Disponible

    72,00 €

  • The Calculus of Computation
    Aaron R. Bradley / Zohar Manna
    Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithm...
    Disponible

    47,40 €