Military applications; Computer programs; Acquisition; Criticality(General); Weapon systems; Deployment; Configuration management; Costs; Life cycles; Missions; Panels; Military commanders; Workshops; Missions;
机译:旋转模型检查和软件验证:2000年8月30日至9月1日,在美国加利福尼亚州斯坦福市举行的第七届国际SPIN研讨会论文集,作者:克劳斯·哈夫伦(Klaus Havelund),约翰·佩尼克斯(John Penix)和威廉·维瑟(Willem Visser)(编辑)。 《计算机科学讲义》,第1885卷,由施普林格出版社出版,德国柏林,2000年。ISBN:3-540-41030-9,343页。价格:31.00英镑,62.00美元,德国90.00马克,软封面。
机译:1995年8月1日,意大利比萨,沃尔泰拉,理论计算机科学,第2卷-程序,图形重写和计算联合COMPUGRAPH / SEMAGRAPH讲习班(SEGRAGRA '95)上的电子注释的内容和摘要。
机译:协调数据收集数据收集和分析监管指南研究的建议:在毒理学和联合兴趣社会和神经兽性兴趣社会会议上讲作研讨会的课程
机译:第三届软件产品线工程模型驱动方法国际研讨会和第三届软件产品线可扩展建模技术研讨会的联合研讨会(MAPLE / SCALE 2011)
机译:使用教师制作的游戏来支持幼儿学习数字概念:结合动手操作和计算机软件。
机译:监管指南研究中有关数据收集和发育性神经毒性终点分析的统一建议:在毒理学学会和联合畸形学会和神经行为畸形学会会议上举办的研讨会的会议记录
机译:第19届需求工程国际工作会议:软件质量基础(REFsQ 2013)。 2013年REFsQ研讨会CreaRE,IWspm和RepriCo,REFsQ 2013经验轨道(实证实验和实证研究会),REFsQ 2013博士研讨会和REFsQ 2013海报会议的会议记录