Bøger af Chaochen Zhou - bogreolen.dk

Markedets billigste bøger

Gratis fragt fra 599,- kr

Levering: 1 - 2 hverdage

Populære

Duration Calculus

af Chaochen Zhou

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

af Michael R. Hansen & Chaochen Zhou

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

- A Formal Approach to Real-Time Systems

af Michael R. Hansen & Chaochen Zhou

1.137,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.137,95 kr.
Se mere