Real time programming : languages, specification and verification

Author(s)

• Shyamasundar, R. K.
• Ramesh, S

Bibliographic Information

Real time programming : languages, specification and verification

R.K. Shyamasundar, S. Ramesh

World Scientific, c2010

Note

Includes bibliographical references and index

Details

• NCID: BB03457342
• ISBN:
  • 9789810225667
• LCCN: 2010278745
• Country Code: si
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Singapore
• Pages/Volumes: xv, 245 p.
• Size: 26 cm
• Classification:
  • LCC : QA76.54
  • DC22 : 004/.33
• Subject Headings:
  • LCSH : Real-time programming