De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
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.
  • 8-11 hverdage.
  • 7. december 2024
På lager

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

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: