Duration calculus : a formal approach to real-time systems

Zhou Chaochen, Michael R. Hansen
Bok · Engelsk · 2004 Chaochen Zhou,· Electronic books

Utgitt	Berlin : Springer , c2004
Omfang	X, 247 s. : ill.
Emner	Formal methods (Computer science) Mathematics - Data processing Real-time data processing Matematikk - Databehandling Sanntidssystemer
Sjanger	Electronic books
Dewey	005.2/73
ISBN	3540408231