*Result*: Real time programming
*Title*:
Real time programming : languages, specification and verification / R. K. Shyamasundar and S. Ramesh
*Author/editor-in-chief*:
*Publication*:
Singapore ; Hackensack, N.J. : World Scientific Pub. Co, c2010
*Distribution*:
[Singapore] : World Scientific Publishing Co Pte Ltd
*Physical description scale*:
1 Online-Ressource (xv, 245 p.) : Illustrationen
*Format*:
*Language*:
*eng*
*Notes*:
Includes bibliographical references (p
*RVK-Notation*:
*Subject Added Keywords*:
*ISBN*:
9789812814029 ; 9810225660 (Sekundärausgabe) ; 9789810225667 (Sekundärausgabe)
*DOI*:
10.1142/3030