✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 418.243 € mehr verdient. → Mehr erfahren 💪 📚 🙏

The Temporal Logic of Reactive and Concurrent Systems

The Temporal Logic of Reactive and Concurrent Systems

von Amir Pnueli und Zohar Manna
Hardcover - 9780387976648
53,49 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 7 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Weitere Formate

Softcover - 9781461269502
53,49 €

Autorenfreundlich Bücher kaufen?!

Weitere Formate

Softcover - 9781461269502
53,49 €

Beschreibung

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.

Specification

Specification

Details

Verlag Springer US
Ersterscheinung 18. Dezember 1991
Maße 23.5 cm x 15.5 cm
Gewicht 831 Gramm
Format Hardcover
ISBN-13 9780387976648
Seiten 427

Schlagwörter

Computer Communication Networks, Computer Science Logic and Foundations of Programming, Netzwerk-Hardware, Special Purpose and Application-Based Systems, Theoretische Informatik, Wissensbasierte Systeme - Expertensysteme

Herstellerinformationen +