Inicio > Matemáticas y ciencia > Ciencia: cuestiones generales > Historia de la ciencia > The Temporal Logic of Reactive and Concurrent Systems
The Temporal Logic of Reactive and Concurrent Systems

The Temporal Logic of Reactive and Concurrent Systems

Amir Pnueli / Zohar Manna

144,12 €
IVA incluido
Consulta disponibilidad
Editorial:
Springer Nature B.V.
Año de edición:
1991
Materia
Historia de la ciencia
ISBN:
9780387976648

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
¡Pregúntanos!
Sobre IBD

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, subtitled Specification, has a self-contained introduction to temporal logic and, more important, an introduction to the computational model for reactive programs, developed by Zohar Manna and Amir Pnueli of Stanford University and the Weizmann Institute of Science, Israel, respectively.

Artículos relacionados

  • GRAVITY
    BRIAN CLEGG
    ...
  • Collected Letters of Erasmus Darwin
    Erasmus Darwin
    ...
  • System
    Clifford Siskin
    ...
    Disponible

    23,67 €

  • The Science of Roman History
    Walter Scheidel
    How the latest cutting-edge science offers a fuller picture of life in Rome and antiquityThis groundbreaking book provides the first comprehensive look at how the latest advances in the sciences are transforming our understanding of ancient Roman history. Walter Scheidel brings together leading historians, anthropologists, and geneticists at the cutting edge of their fields, wh...
    Disponible

    36,21 €

  • Scouting and Scoring
    Christopher J. Phillips
    An in-depth look at the intersection of judgment and statistics in baseballScouting and scoring are considered fundamentally different ways of ascertaining value in baseball. Scouting seems to rely on experience and intuition, scoring on performance metrics and statistics. In Scouting and Scoring, Christopher Phillips rejects these simplistic divisions. He shows how both scouts...
    Disponible

    26,38 €

  • Osservazioni intorno alle vipere
    Francesco Redi
    Redi, con l’aiuto di una penna affilata, rompe gli schemi del suo tempo, sfidando le tradizione aristotelica e ponendo delle solide basi per la nascita della biologia sperimentale. In un connubio di rigore scientifico e eloquenza poetica, l’autore ci conduce attraverso un intricato labirinto di miti e leggende, illuminando la verità con la luce della ragione.  ...
    Disponible

    20,42 €

Otros libros del autor

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

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