Duration Calculus
- A Formal Approach to Real-Time Systems
- Indbinding:
- Hardback
- Sideantal:
- 250
- Udgivet:
- 4. december 2003
- Udgave:
- 2004
- Størrelse:
- 234x156x15 mm.
- Vægt:
- 1210 g.
- 8-11 hverdage.
- 16. januar 2025
Forlænget returret til d. 31. januar 2025
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.
- 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.
Beskrivelse af Duration Calculus
A comprehensive introduction to interval logic and duration calculus for modelling, analysing and verifying real-time systems. The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. The duration of a state in a time interval is the accumulated presence time of the state in the interval.
Brugerbedømmelser af Duration Calculus
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Duration Calculus findes i følgende kategorier:
© 2024 Pling BØGER Registered company number: DK43351621