Spin Model Checking and Software Verification: Proceedings of the 7th International SPIN Workshop, Stanford, CA, U.S.A., August 30-September 1, 2000. By Klaus Havelund, John Penix and Willem Visser (eds.). Lecture Notes in Computer Science, Volume 1885, Published by Springer-Verlag, Berlin, Germany, 2000. ISBN: 3-540-41030-9, 343 pages. Price: U.K. ?31.00, U.S.A. $62.00, Germany DM 90.00, Soft Cover.

Rob Hierons Reviews Editor for STVR

首页> 外文期刊>Software Testing, Verification and Reliability >Spin Model Checking and Software Verification: Proceedings of the 7th International SPIN Workshop, Stanford, CA, U.S.A., August 30-September 1, 2000. By Klaus Havelund, John Penix and Willem Visser (eds.). Lecture Notes in Computer Science, Volume 1885, Published by Springer-Verlag, Berlin, Germany, 2000. ISBN: 3-540-41030-9, 343 pages. Price: U.K. ?31.00, U.S.A. $62.00, Germany DM 90.00, Soft Cover.

【24h】

Spin Model Checking and Software Verification: Proceedings of the 7th International SPIN Workshop, Stanford, CA, U.S.A., August 30-September 1, 2000. By Klaus Havelund, John Penix and Willem Visser (eds.). Lecture Notes in Computer Science, Volume 1885, Published by Springer-Verlag, Berlin, Germany, 2000. ISBN: 3-540-41030-9, 343 pages. Price: U.K. ?31.00, U.S.A. $62.00, Germany DM 90.00, Soft Cover.

机译：旋转模型检查和软件验证：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马克，软封面。

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

页面导航

著录项
相似文献
相关主题

著录项

来源
《Software Testing, Verification and Reliability》 |2001年第3期|197-198|共2页
作者
Rob Hierons Reviews Editor for STVR;
展开▼
作者单位

Department of Information Systems and Computing Brunel University Uxbridge Middlesex UB8 3PH U.K.;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
入库时间 2022-08-17 13:03:49

相似文献

外文文献

1. Refinement in Z and object-Z: foundations and advanced applications. By John Derrick and Eerke Boiten. Published by Springer-Verlag, Berlin, Germany, formal approaches to computing and information technology series, 2001. ISBN: 1-85233-245-X, 466 pages. Price: U.K. ?49.50, U.S.A. $79.95, Germany DM 159.90, soft cover. [J] . Perdita Stevens Software Testing, Verification and Reliability . 2002,第1期

机译：Z和object-Z的改进：基础和高级应用程序。约翰·德里克（John Derrick）和艾尔克·伯恩（Eerke Boiten）。由Springer-Verlag出版，德国柏林，计算机和信息技术正式方法系列，2001年。ISBN：1-85233-245-X，466页。价格：49.50英镑，79.95美元，德国159.90马克，软封面。
2. Correct systems: building a business process solution. By Mike Holcombe and Florentin Ipate. Published by Springer-Verlag, Berlin, Germany, Applied Computing Series 1998. ISBN: 3-540-76246-9, 206 pages. Price: U.K. £24.50, U.S.A. $49.95, Germany DM 79.00, Soft Cover. [J] . Rob Hierons Software Testing, Verification and Reliability . 1999,第1期

机译：正确的系统：构建业务流程解决方案。由Mike Holcombe和Florentin Ipate撰写。由施普林格出版社出版，1998年，德国柏林，应用计算系列。ISBN：3-540-76246-9，206页。价格：24.50英镑，49.95美元，德国79.00马克，软封面。
3. Refinement in Z and object-Z: foundations and advanced applications. By John Derrick and Eerke Boiten. Published by Springer-Verlag, Berlin, Germany, formal approaches to computing and information technology series, 2001. ISBN: 1-85233-245-X, 466 pages. Price: U.K. ?49.50, U.S.A. $79.95, Germany DM 159.90, soft cover. [O] . Perdita Stevens 2002

机译：z和object-z的改进：基础和高级应用程序。由John Derrick和Eerke Baiten。由Springer-Verlag，柏林，德国，计算和信息技术系列的正式方法出版，2001年。ISBN：1-85233-245-X，466页。价格：U.K.？49.50，U.S.A. $ 79.95，德国DM 159.90，软封面。

著录项

相似文献

相关主题

期刊订阅