De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Forfattere
  3. Chaochen Zhou

Bøger af Chaochen Zhou

Filter
Filter
✕
Sorter efterSorter Populære
  • Duration Calculus
    af Chaochen Zhou
    537,95 kr.

    Se mere
  • Duration Calculus
    Duration Calculus
    af Michael R. Hansen & Chaochen Zhou
    1.114,95 kr.

    Se mere
  • Duration Calculus af Michael R. Hansen
    Duration Calculus
    - A Formal Approach to Real-Time Systems
    af Michael R. Hansen & Chaochen Zhou
    1.171,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.

    Se mere