Real Time Programming: Languages, Specification And Verification

by

  • Publisher: World Scientific
  • Print ISBN: 9789810225667, 9810225660

  • eText ISBN: 9789812814029, 9812814027