Meetings; Software engineering; Workshops; Mathematical models; Methodology; Computer programming; Italy; Internet; Debugging(Computers); Java programming language; High level architecture;
机译:旋转模型检查和软件验证: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马克,软封面。
机译:蜂窝模型:一个系统分析快速消费品的不同制造场景的平台
机译:2000-2006年秘鲁海洋生态系统的营养结构:使用IBM营养模型Osmose对无须鳕渔业管理方案的影响的见解
机译:发展中国家的犯罪与刑事司法:第五届国际比较犯罪学术研讨会讨论摘要,santa margherita di Ligure(意大利)1973年5月16日至5月18日