Foundations of real-time computing : formal specifications and methods
著者
書誌事項
Foundations of real-time computing : formal specifications and methods
（The Kluwer international series in engineering and computer science, SECS 142）（The Kluwer international series in engineering and computer science, . Real-time systems）
Kluwer Academic, c1991
大学図書館所蔵 件 / 全12件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"Preliminary versions of these papers were presented at a workshop ... sponsored by the Office of Naval Research in October 1990 in Washington, D.C."--Foreword
Includes bibliographical references and index