書誌事項

Towards verified systems

edited by Jonathan Bowen

(Real-time safety critical systems, 2)

Elsevier, 1994

大学図書館所蔵 件 / 4

この図書・雑誌をさがす

注記

Includes bibliographical references (p. 269-296)

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ