|
|
1.
|
Computer safety, reliability, and security : 21st international conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002 : proceedings
by Anderson, Stuart | Bologna, Sandro | Felici, Massimo. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 AND] (1).
|
|
|
2.
|
Software testing techniques: finding the defects that matter.
by Loveland, Scott | Miller, Geoffrey | Prewitt, Richard | Shannon, Michael. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Mumbai: Charles River Media, 2005Availability: Items available for loan: [Call number: 005.14 LOV] (1).
|
|
|
3.
|
Reliability modeling, analysis and optimization
by Pham, Hoang. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: World Scientific, 2006Availability: Items available for loan: [Call number: 620.00452 PHA] (1).
|
|
|
4.
|
Software reliability engineering : more reliable software, faster and cheaper
by Musa, John D. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Tata McGraw-Hill, 2004Availability: Items available for loan: [Call number: 005.1 MUS] (1).
|
|
|
5.
|
Design for Trustworthy Software: tools, techniques, and methodology of developing robust software.
by Jayaswal, Bijay K | Patton, Peter C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Upper Saddle River: Prentice Hall, 2006Availability: Items available for loan: [Call number: 005 JAY] (1).
|
|
|
6.
|
Clean Code : a handbook of agile software craftsmanship
by Martin, Robert C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Upper Saddle River: Prentice Hall, 2009Availability: Items available for loan: [Call number: 005.1 MAR] (1).
|
|
|
7.
|
Art of software security testing : identifying software security flaws
by Wysopal, Chris. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Upper Saddle River: Addison-Wesley, 2007Availability: Items available for loan: [Call number: 005.8 WYS] (1).
|
|
|
8.
|
Process Assessment and Improvement : a practical guide for managers, quality professionals, and assessors
by Loon, Han van. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 005 LOO] (1).
|
|
|
9.
|
Using aspect-oriented programming for trustworthy software development
by Safonov, V. O. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: Wiley-Interscience, 2008Availability: Items available for loan: [Call number: 005.1 SAF] (1).
|
|
|
10.
|
Security development lifecycle
by Howard, Michael | Lipner, Steve. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Washington: Microsoft Press, 2006Availability: Items available for loan: [Call number: 005.8 HOW] (2).
|
|
|
11.
|
Software Safety and Reliability
by Herrmann, Debra S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: IEEE Press, 1999Availability: Items available for loan: [Call number: 005.1 HER] (1).
|
|
|
12.
|
System software reliability
by Pham, Hoang. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2006Availability: Items available for loan: [Call number: 005.43 PHA] (1).
|
|
|
13.
|
Software design for resilient computer systems
by Kaegi-Trachsel, Thomas | Schagaev, Igor. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland: Springer, 2016Availability: Items available for loan: [Call number: 004.2 SCH] (1).
|
|
|
14.
|
Successful test management : an integral approach
by Pinkster, Iris | Burgt, Bob van de | Janssen, Dennis | Veenendaal. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 005.14 PIN] (1).
|
|
|
15.
|
Software quality and software testing in internet times
by Meyerhoff, Dirk. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.14 MEY] (1).
|
|
|
16.
|
Introduction to reliable and secure distributed programming
by Cachin, Christian. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2011Availability: Items available for loan: [Call number: 005.14 CAC] (1).
|
