"The Temporal Logic of Reactive and Concurrent Systems" - Information and Links:

The Temporal Logic of Reactive and Concurrent Systems - Info and Reading Options

Specification

Book's cover
The cover of “The Temporal Logic of Reactive and Concurrent Systems” - Open Library.

"The Temporal Logic of Reactive and Concurrent Systems" was published by Springer New York in 1992 - New York, NY, it has 427 pages and the language of the book is English.


“The Temporal Logic of Reactive and Concurrent Systems” Metadata:

  • Title: ➤  The Temporal Logic of Reactive and Concurrent Systems
  • Author:
  • Language: English
  • Number of Pages: 427
  • Publisher: Springer New York
  • Publish Date:
  • Publish Location: New York, NY

“The Temporal Logic of Reactive and Concurrent Systems” Subjects and Themes:

Edition Specifications:

  • Format: [electronic resource] :
  • Pagination: ➤  1 online resource (xiv, 427 p.)

Edition Identifiers:

AI-generated Review of “The Temporal Logic of Reactive and Concurrent Systems”:


"The Temporal Logic of Reactive and Concurrent Systems" Description:

The Open Library:

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.

Open Data:

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

Read “The Temporal Logic of Reactive and Concurrent Systems”:

Read “The Temporal Logic of Reactive and Concurrent Systems” by choosing from the options below.

Search for “The Temporal Logic of Reactive and Concurrent Systems” downloads:

Visit our Downloads Search page to see if downloads are available.

Find “The Temporal Logic of Reactive and Concurrent Systems” in Libraries Near You:

Read or borrow “The Temporal Logic of Reactive and Concurrent Systems” from your local library.

Buy “The Temporal Logic of Reactive and Concurrent Systems” online:

Shop for “The Temporal Logic of Reactive and Concurrent Systems” on popular online marketplaces.