【预订】Safety of Computer Control Systems 1991 9780080416977 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780080416977 Author 作者 Lindeberg Format 版本 精装 Publisher 出版社 Pergamon Press Publication Date 出版日期 1991-10-01 Language 语种 英语 Book Contents 内容简介 Containing 29 papers, this volume contributes to the literature published on the safety of computer systems. The papers cover all aspects - specification, development, analysis, verification, validation of hardware and software, as well as the problems involved in the reliability, availability and security of systems.978008041698400632This set of proceedings contains the most significant papers presented at the third IFAC Workshop on Artificial Intelligence in Real-time Control, which was held from September 23-25, 1991 in the U
¥823.00
