Name: Duration Calculus
Price: 1156.95 DKK
Availability: InStock
Author: Michael R. Hansen
ISBN: 9783540408239

Du sparer 0% ift. normalprisen Spar 0%

Hardback
8-11 hverdage
1.156,95 kr.

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

Forlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Indbinding:
Hardback

Sideantal:
250

Udgivet:
4. december 2003

Udgave:
2004

Størrelse:
234x156x15 mm.

Vægt:
1210 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 13. december 2024

Forlænget returret til d. 31. januar 2025

Normalpris

BLACK WEEK
1.156,95 kr. + Fragt
~~1.156,95 kr.~~

Medlemspris

1.106,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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:

Business og læring > Computer og IT

Duration Calculus - Michael R. Hansen - Bog

Bag om Michael R. Hansen

Beskrivelse af Duration Calculus

Brugerbedømmelser af Duration Calculus

Gør som tusindvis af andre bogelskere