Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. The Temporal Logic of Reactive and Concurrent Systems

The Temporal Logic of Reactive and Concurrent Systems

- Specification

av Zohar Manna, Amir Pnueli
The Temporal Logic of Reactive and Concurrent Systems av Zohar Manna
Om The Temporal Logic of Reactive and Concurrent Systems

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780387976648
  • Format:
  • Inbunden
  • Sidor:
  • 427
  • Utgiven:
  • 18. december 1991
  • Utgåva:
  • 1992
  • Mått:
  • 241x166x31 mm.
  • Vikt:
  • 822 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 28. januari 2025

Om Zohar Manna

Se alla böcker av Zohar Manna

Beskrivning av The Temporal Logic of Reactive and Concurrent Systems

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems.

Användarnas betyg av The Temporal Logic of Reactive and Concurrent Systems



Andra köpte även...
Hitta liknande böcker
Boken The Temporal Logic of Reactive and Concurrent Systems finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.