Real time programming
Subtitle: languages, specification and verification
By: R.K. Shyamasundar, S. Ramesh
Contributors: Ramesh, S. (Sethu)
Publisher: World Scientific
Published: 2010
Place of publication: Singapore; Hackensack, NJ; London
Language: eng
Number of pages: 245
ISBN-13: 9789810225667
Notes: Includes bibliographical references and index.