書誌事項

Real-time systems education

edited by Janusz Zalewski ; sponsored by Embry-Riddle Aeronautical University ; in cooperation with IEEE Computer Society Technical Committee on Real-Time Systems (TCRTS) and IEEE Computer Society Technical Committee on Complexity in Computing (TCCC)

IEEE Computer Society Press, c1996

  • : microfiche

大学図書館所蔵 件 / 2

この図書・雑誌をさがす

注記

"IEEE Computer Society Press order number PR07649"--T.p. verso

"IEEE Order Plan catalog number 96TB1000060"--T.p. verso

Includes bibliographical references and index

内容説明・目次

内容説明

Contains 20 contributions addressing education in real-time systems, divided into five sections: individual courses and tools; real-time curriculum issues; real-time systems education at Embry-Riddle Aeronautical University; teaching formal methods for real-time systems; and real-time systems in sys

「Nielsen BookData」 より

詳細情報

  • NII書誌ID(NCID)
    BA3691808X
  • ISBN
    • 0818676493
    • 0818676515
  • LCCN
    96077020
  • 出版国コード
    us
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Los Alamitos, Calif.
  • ページ数/冊数
    xiv, 159 p.
  • 大きさ
    28 cm
  • 分類
  • 件名
ページトップへ