Testing safety-related software: a practical handbook. Edited by S. Gardiner. Published by Springer-Verlag, London, U.K., 1999. ISBN: 1-85233-034-1, 226 pages. Price: U.K. £39.99, Germany DM 129.00, Soft Cover.

Simon Burton

首页> 外文期刊>Software Testing, Verification and Reliability >Testing safety-related software: a practical handbook. Edited by S. Gardiner. Published by Springer-Verlag, London, U.K., 1999. ISBN: 1-85233-034-1, 226 pages. Price: U.K. £39.99, Germany DM 129.00, Soft Cover.

【24h】

Testing safety-related software: a practical handbook. Edited by S. Gardiner. Published by Springer-Verlag, London, U.K., 1999. ISBN: 1-85233-034-1, 226 pages. Price: U.K. £39.99, Germany DM 129.00, Soft Cover.

机译：测试与安全相关的软件：实用手册。由S. Gardiner编辑。由Springer-Verlag，英国伦敦，1999年出版。ISBN：1-85233-034-1，226页。价格：39.99英镑，德国129.00马克，软封面。

获取原文

获取原文并翻译 | 示例

开具论文收录证明 >>

页面导航

著录项
引文网络
相似文献
相关主题

著录项

来源
《Software Testing, Verification and Reliability》 |1999年第2期|135-136|共2页
作者
Simon Burton;
展开▼
作者单位

Research Associate Department of Computer Science University of York Heslington York YO10 5DD;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献

1. 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马克，软封面。
2. Digraphs: theory, algorithms and applications. By Jørgen Bang-Jensen and Gregory Gutin. Published by Springer-Verlag, London, U.K., Springer Monographs in Mathematics Series, 2000. ISBN: 1-85233-268-9, 776 pages. Price: U.K. ?59.00, Germany DM 199.90, hard cover. [J] . Robin Whitty Software Testing, Verification and Reliability . 2002,第1期

机译：图：理论，算法和应用。 JørgenBang-Jensen和Gregory Gutin撰。由英国伦敦的Springer-Verlag出版，Springer专着《数学丛书》，2000年。ISBN：1-85233-268-9，776页。价格：59.00英镑，德国199.90 DM，硬封面。
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. [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马克，软封面。
4. 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，软封面。

Testing safety-related software: a practical handbook. Edited by S. Gardiner. Published by Springer-Verlag, London, U.K., 1999. ISBN: 1-85233-034-1, 226 pages. Price: U.K. £39.99, Germany DM 129.00, Soft Cover.

著录项

引文网络

相似文献

相关主题

期刊订阅