Black November: Store besparelser hele måneden Vi fejrer Black Friday hele november måned med store besparelser
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. Duration Calculus

Duration Calculus

- A Formal Approach to Real-Time Systems

af Michael R. Hansen, Chaochen Zhou

indgår i Monographs in Theoretical Computer Science. An EATCS Series serien

Duration Calculus af Michael R. Hansen
Bag om 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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783540408239
  • Indbinding:
  • Hardback
  • Sideantal:
  • 250
  • Udgivet:
  • 4. december 2003
  • Udgave:
  • 2004
  • Størrelse:
  • 234x156x15 mm.
  • Vægt:
  • 1210 g.
  • BLACK NOVEMBER
  Gratis fragt
Leveringstid: 8-11 hverdage
Forventet levering: 6. december 2024

Bag om Michael R. Hansen

Vis alle bøger af Michael R. Hansen

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



Andre købte også..
Find lignende bøger
Bogen Duration Calculus 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.