Introduction to the formal design of real-time systems /

Bibliographic Details
Main Author: Gray, David, 1946-
Format: Book
Language:English
Published: London ; New York : Springer, [1999]
Series:Applied computing.
Subjects: