タイトル | Spot: A Programming Language Emphasizing Safety |
著者(英) | Gostelow, Kim P.; Bocchino, Robert L., Jr.; Som, Raft; Gamble, Ed |
著者所属(英) | Jet Propulsion Lab., California Inst. of Tech. |
発行日 | 2014-03-17 |
言語 | eng |
内容記述 | No abstract available |
NASA分類 | Computer Programming and Software; Air Transportation and Safety |
レポートNO | JPL-IOM-349C-14-001 |
権利 | Copyright |
|