Duration Calculus
Subtitle: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. An EATCS Series)
Edition: 1 edition
Publisher: Springer
Published: February 12, 2004
Language: eng
Format: Hardcover
Number of pages: 247
ISBN-13: 9783540408239
Subjects: Computer Programming; Real-time data processing; Formal methods (Computer science); Computers - General Information; Computers; Programming Languages - General; Science/Mathematics; Programming - Systems Analysis & Design; Mathematics; Computer Science; Programming - Software Development; Computers / Programming / Software Development; Data processing; Formal methods (Computer scien