Udvidet returret til d. 31. januar 2025

Bøger af Chaochen Zhou

Filter
Filter
Sorter efterSorter Populære
  • af Chaochen Zhou
    526,95 kr.

  • af Michael R. Hansen & Chaochen Zhou
    1.090,95 kr.

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

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.