Bøger af Michael R. Hansen - bogreolen.dk

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

Populære

Duration Calculus

af Michael R. Hansen & Chaochen Zhou

1.063,95 kr.
- Bog
- 1.063,95 kr.
Se mere
Duration Calculus

- A Formal Approach to Real-Time Systems

af Michael R. Hansen & Chaochen Zhou

1.118,95 kr.

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.
- Bog
- 1.118,95 kr.
Se mere