机读格式显示(MARC)

• 000 01644nam 2200361 450

• 001 0000242072

• 005 20131104210400.0

• 010 __ |a 978-7-111-36553-2 |d CNY45.00

• 100 __ |a 20120330d2012 em y0chiy0120 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 软件可靠性方法 |A Ruan Jian Ke Kao Xing Fang Fa |d = Software reliability methods |f (以) Doron A. Peled著 |g 王林章 ... [等] 译 |z eng

• 210 __ |a 北京 |c 机械工业出版社 |d 2012

• 215 __ |a xii, 196页 |c 图 |d 26cm

• 225 2_ |a 计算机科学丛书 |A Ji Suan Ji Ke Xue Cong Shu

• 304 __ |a 题名页题其余译者: 卜磊, 陈鑫, 张天等

• 314 __ |a 责任者Peled规范汉译姓: 佩莱得

• 320 __ |a 有书目 (第191-196页)

• 330 __ |a 本书通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。书中紧紧围绕逻辑和自动机理论这条主线，比较了各种方法的不同之处，并讨论了它们的优缺点。书中包含一些在多个章节中使用的、具有连续性的实例，有利于读者通过跟踪这些实例来了解不同形式化方法的优缺点。本书还包括大量的练习和项目，可以使用软件可靠性工具来完成。

• 333 __ |a 适用于从事软件开发的广大读者，尤其适合作为高年级本科生和硕士生的教材和参考书。

• 410 _0 |1 2001 |a 计算机科学丛书

• 500 10 |a Software reliability methods |A Software Reliability Methods |m Chinese

• 606 0_ |a 软件可靠性 |A Ruan Jian Ke Kao Xing

• 690 __ |a TP311.5 |v 5

• 690 __ |a TP311.5 |v 4

• 701 _1 |a 佩莱得 |A Pei Lai De |g (Peled, Doron A.) |4 著

• 702 _0 |a 王林章 |A Wang Lin Zhang |4 译

• 702 _0 |a 卜磊 |A Bu Lei |4 译

• 702 _0 |a 陈鑫 |A Chen Xin |4 译

• 801 _0 |a CN |b WXCSXY |c 20131104

• 905 __ |a WXCSXY |d TP311.5/198