Real time programming : languages, specification and verification /

Bibliographic Details

Main Author:	Shyamasundar, Rudrapatna, 1950-
Other Authors:	Ramesh, S. (Sethu)
Format:	Book
Language:	English
Published:	Singapore ; Hackensack, NJ ; London : World Scientific, [2010]
Subjects:	Real-time programming.