Foundations of real-time computing : formal specifications and methods /

保存先:
書誌詳細
団体著者: United States. Office of Naval Research
その他の著者: Van Tilborg, André M., 1953-, Koob, Gary M., 1958-
フォーマット: 図書
言語:English
出版事項: Boston : Kluwer Academic Publishers, c1991.
シリーズ:Kluwer international series in engineering and computer science ; SECS 142.
Kluwer international series in engineering and computer science. Real-time systems.
主題:

CARM 1 Store

予約・返却請求 CARM 1 Store
請求記号: A3:AB25F0 C11612
所蔵 1 利用可  予約する