首页> 外文OA文献 >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.

【2h】

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.

机译：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，软封面。

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
相似文献
相关主题

著录项

作者
Perdita Stevens;
展开▼
作者单位

展开▼
年度 2002
总页数
原文格式 PDF
正文语种
中图分类
入库时间 2022-08-20 22:23:06

相似文献

外文文献

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. 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. [J] . Rob Hierons Reviews Editor for STVR Software Testing, Verification and Reliability . 2001,第3期

机译：旋转模型检查和软件验证：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马克，软封面。
3. 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马克，软封面。
4. Concurrent and Real‐time Systems: The CSP Approach. By Steve Schneider. Published by John Wiley and Sons Ltd., Chichester, U.K., 2000. ISBN: 0‐471‐62373‐3, 510 pages. Price: U.K. £29.95, U.S.A. $59.99, Soft Cover. [O] . John Derrick 2000

机译：并发和实时系统：CSP方法。由Steve Schneider。由John Wiley和Sons Ltd.出版，奇斯特，U.K.，2000。ISBN：0-471-62373-3，510页。价格：U.K.£29.95，U.S.A. $ 59.99，软封面。

著录项

相似文献

相关主题

期刊订阅