Amazon cover image
Image from Amazon.com

Software verification and analysis : an integrated, hands-on approach

By: Contributor(s): Material type: TextTextPublication details: London ; New York : Springer, c2009.Description: xviii, 224 p. : ill. ; 25 cmISBN:
  • 9788132204510
Subject(s): DDC classification:
  • 005.14 22 LAS-S
LOC classification:
  • QA76.76.V47 L37 2009
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
Books Books IIITD General Stacks Computer Science and Engineering 005.14 LAS-S (Browse shelf(Opens below)) Available 001265
Total holds: 0
Browsing IIITD shelves, Shelving location: General Stacks, Collection: Computer Science and Engineering Close shelf browser (Hides shelf browser)
005.14 JOR-S Software testing : 005.14 KAN-T Testing computer software 005.14 KOO-T Test process improvement : 005.14 LAS-S Software verification and analysis : 005.14 MAT-F Foundations of software testing 005.14 MIL-S Software testing : 005.14 MOH-F Full stack testing :

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.
© 2024 IIIT-Delhi, library@iiitd.ac.in