41. Model-based testing of reactive systems

by Jonsson, Bengt | Broy, Manfred | Katoen, Joost-Pieter | Leucker, Martin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 BRO] (1).
42. Model checking software : twelfth International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings

by Godefroid, Patrick.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 GOD] (1).
43. Testing of communicating systems: 15th IFIP international conference, TestCom 2003, Sophia Antipolis, France May 26-28, 2003 proceedings

by Hogrefe, Dieter | Wiles, Anthony.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 HOG] (1).
44. Primality Testing in Polynomial Time : From Randomized Algorithms to Primes is in p

by Dietzfelbinger, M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 DIE] (1).
45. Web Engineering : International Conference, ICWE 2003, Oviedo, Spain, July 14-18, 2003 procedings

by Manuel, Juan | Cueva Lovelle, Juan Manuel.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 CUE] (1).
46. Software Quality Approaches

by Haug, Michael.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 005.1 HAU] (1).
47. Modern Structured Analysis

by Yourdon, Edward.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 1996Availability: Items available for loan: [Call number: 005.113 YOU] (1).
48. Program Design

by Juliff, Peter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi Prentice Hall of India 2000Availability: Items available for loan: [Call number: 005.12 JUL] (3).
49. Desktop applications with Microsoft Visual C++ 6.0

by Microsoft Corporation.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2001Availability: Items available for loan: [Call number: 005.13 MIC] (3).
50. Software Project Management: A concise study

by Kelkar, S. A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2002Availability: Items available for loan: [Call number: 005.1068 KEL] (1).
51. Beta testing for better software

by Fine, Michael.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Wiley-Dreamtech India, 2003Availability: Items available for loan: [Call number: 005.14 FIN] (1).
52. Software testing fundamentals: Methods and metrics

by Hutcheson, Marnie L.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Wiley-Dreamtech India, 2003Availability: Items available for loan: [Call number: 005.14 HUT] (1).
53. Java/j2ee testing patterns

by Young, Matthew | Brown, Kyle | Grover, Andrew | Thomas, Jon.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Wiley-Dreamtech India, 2004Availability: Items available for loan: [Call number: 005.133 THO] (1).
54. Software Quality Engineering : testing, quality assurance, and quantifiable improvement

by Tian, Jeff.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Wiley, 2005Availability: Items available for loan: [Call number: 005 TIA] (1).
55. Digital systems testing and testable design

by Abramovici, Miron | Breuer, Melvin A | Friedman, Arthur D.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Jaico Publishing House, 2001Availability: Items available for loan: [Call number: 621.3815 ABR] (5).
56. Software testing techniques: finding the defects that matter.

by Loveland, Scott | Miller, Geoffrey | Prewitt, Richard | Shannon, Michael.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Mumbai: Charles River Media, 2005Availability: Items available for loan: [Call number: 005.14 LOV] (1).
57. Software testing techniques

by Beizer, Boris.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Dreamtech Press, 2002Availability: Items available for loan: [Call number: 005.1 BEI] (1).
58. Software engineering

by Sommerville, Ian.

Edition: 7th Ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Pearson Education, 2006Availability: Items available for loan: [Call number: 005.1 SOM] (1).
59. Effective software testing: 50 specific ways to improve your testing.

by Dustin, Elfriede.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Pearson Education, 2006Availability: Items available for loan: [Call number: 005.14 DUS] (1).
60. Software Testing in the Real World

by Kit, Edward | Finzi, Susannah.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Delhi: Addison-Wesley, 2000Availability: Items available for loan: [Call number: 005.1 KIT] (4).

Powered by Koha