Summary goes here

Bewaard in:
Bibliografische gegevens
Formaat: Boek
Taal:Engels
Onderwerpen:
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
era
format Book
genre
geographic
id bb4244ce-e21c-4ca6-83fc-c1460e89f50f
isbn 3540408231
9783540408239
3642074049
9783642074042
issn
language eng
physical x, 247 pages ;25 cm.
publication – publisher: Springer
  dateOfPublication: ©2004
publishDate ©2004
subjects
title Duration calculus : a formal approach to real-time systems / Chaochen Zhou, Michael R. Hansen.
topic Real-time data processing.
Formal methods (Computer science)
Mathematics
Formal methods (Computer science)
Mathematics
Real-time data processing.