Black Week: Spar op til 85% Spar op til 85% på et kæmpe udvalg af gode bøger
Udvidet returret til d. 31. januar 2025
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. The Temporal Logic of Reactive and Concurrent Systems

The Temporal Logic of Reactive and Concurrent Systems

- Specification

af Zohar Manna, Amir Pnueli
The Temporal Logic of Reactive and Concurrent Systems af Zohar Manna
Bag 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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780387976648
  • Indbinding:
  • Hardback
  • Sideantal:
  • 427
  • Udgivet:
  • 18. december 1991
  • Udgave:
  • 1992
  • Størrelse:
  • 241x166x31 mm.
  • Vægt:
  • 822 g.
  • BLACK WEEK
  Gratis fragt
Leveringstid: 8-11 hverdage
Forventet levering: 10. december 2024
Forlænget returret til d. 31. januar 2025

Bag om Zohar Manna

Vis alle bøger af Zohar Manna

Beskrivelse af 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.

Brugerbedømmelser af The Temporal Logic of Reactive and Concurrent Systems



Andre købte også..
Find lignende bøger
Bogen The Temporal Logic of Reactive and Concurrent Systems findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.