Cover Image

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.
Description
Physical Description:xv, 245 pages : illustrations (some color) ; 26 cm.
Bibliography:Includes bibliographical references and index.
ISBN:9789810225667 (hbk.)
9810225660 (hbk.)