*Result*: Real time programming
*Title*:
Real time programming : languages, specification and verification / R. K. Shyamasundar ; S. Ramesh
*Author/editor-in-chief*:
*Publication*:
New Jersey [u.a.] : World Scientific, 2010
*Physical description scale*:
XV, 246 S. : graph. Darst.
*Format*:
*Language*:
*eng*
*RVK-Notation*:
*Subject Added Keywords*:
*ISBN*:
9789810225667 ; 9810225660