登入
選單
返回
Google圖書搜尋
Developing Safety Systems
Ian C. Pyle
其他書名
A Guide Using Ada
出版
Prentice Hall
, 1991
主題
Computers / Languages / General
Computers / Software Development & Engineering / General
ISBN
0132042983
9780132042987
URL
http://books.google.com.hk/books?id=CIVQAAAAMAAJ&hl=&source=gbs_api
註釋
This text for senior level students looks at the different roles involved in producing and accepting safety-related systems and the corresponding human activities. It illustrates how Ada provides a framework in which the design rules for safety can be applied and confirmed.
