Order Total (1 Item Items):
Shipping Destination:
Software Verification (Over 1,100 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (1,189)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
Collectible Attributes
- First Edition (5)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (583)
- Not Print on Demand (775)
Language (5)
Free Shipping
Seller Location
Seller Rating
-
Software Verification and Validation: Realistic Project Approaches
Language: English
Published by Prentice Hall, Inc, Lebanon, Indiana, U.S.A., 1982
ISBN 10: 0138220727 ISBN 13: 9780138220723
Hardcover. Condition: Very Good. "The main thrust of this book is to describe verification and validation approaches that have been used successfully on contemporary large-scale software projects." The previous owner's name is stamped on the first page.
-
Hardcover. Condition: Very Good. No Jacket. Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Hardcover. Condition: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less.
-
Independent Verification and Validation : A Life Cycle Engineering Process for Quality Software
Language: English
Published by Wiley & Sons, Incorporated, John, 1992
ISBN 10: 0471570117 ISBN 13: 9780471570110
Condition: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Independent Verification and Validation : A Life Cycle Engineering Process for Quality Software
Language: English
Published by Wiley & Sons, Incorporated, John, 1992
ISBN 10: 0471570117 ISBN 13: 9780471570110
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Condition: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item for full refund. Ships USPS Media Mail.
-
Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Systems and Software Verification: Model-Checking Techniques and Tools
Seller: Goodwill of Silicon Valley, SAN JOSE, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear.
-
Paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Software Verification and Validation: Realistic Project Approaches (Prentice-Hall series in software engineering)
Seller: Wonder Book, Frederick, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp.
-
Software Verification and Validation: A (Artech House Computer Library (Hardcover))
Language: English
Published by Artech House Publishers, 1997
ISBN 10: 0890068895 ISBN 13: 9780890068892
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Software Verification and Validation: A
Language: English
Published by Artech House Publishers, 1997
ISBN 10: 0890068895 ISBN 13: 9780890068892
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Software Verification and Validation: Realistic Project Approaches (Prentice-Hall series in software engineering)
Language: English
Published by U.S.A.: Prentice Hall, 1982
ISBN 10: 0138220727 ISBN 13: 9780138220723
First Edition
Hardcover. Condition: Near Fine. 1st Edition. hardback book in near fine condition.
-
Verification and Validation of Real-Time Software
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. *Price HAS BEEN REDUCED by 10% until Monday, May 18 (weekend SALE item)* First edition, first printing, 245 pp., hardcover, very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Software Verification and Validation: A Practitioner's Guide (Computer Science Library)
Language: English
Published by Artech House Publishers, 1997
ISBN 10: 0890068895 ISBN 13: 9780890068892
Hardcover. Condition: Very Good. Software Verification and Validation: A Practitioner's Guide (Computer Science Library) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. .
-
Condition: good. Signs of wear and consistent use.
-
Paperback or Softback. Condition: New. Verification and Validation of Autonomy Software at NASA. Book.
-
Paperback or Softback. Condition: New. Environmental Technology Verification Report: Environmental Decision Support Software C Tech Development Corporation Environmental Visualization Syste. Book.
-
-
Building Bulletproof Software: How Formal Verification Saves the Day (Paperback or Softback)
Language: English
Published by Tredition Gmbh 6/21/2024, 2024
ISBN 10: 3384268024 ISBN 13: 9783384268020
Paperback or Softback. Condition: New. Building Bulletproof Software: How Formal Verification Saves the Day. Book.
-
Dr. Dobb's Journal: Software Tools For The Professional Programmer #373 June 2005 "Testing and Debugging" (Includes: Omniscient Debugging; Examining Software Testing Tools; Dissecting Error Messages; Debugging Production Software; System Verification with SCV; Portability and Data Management; Performance Monitoring with PAPI; The Technical Report on C++ Library Extensions; Measuring the Benefits of Software Reuse; Loadable Modules and the Linux 2.6 Kennel; ASP.NET and Multiplatform Environments; Hardware-Assisted Breakpoints. This issue includes C/C++, .NET, Java, Linux, C#, Win 32)
Published by CMP Media, 2005
Seller: GloryBe Books & Ephemera, LLC, Deforest, WI, U.S.A.
Seller rating 5 out of 5 stars
No binding. Condition: Good. Front Cover and First 2 Pages have a 2" x 4" Tear on lower left corner o/w Good, Tight and Legible. NOT A FORMER LIBRARY BOOK.
-
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,850grams, ISBN:0138220727.
-
Dr. Dobb's Journal: Software Tools For The Professional Programmer #363 August 2004 "Testing and Debugging" (Includes: Continuous Integration and .NET: Part I; Testing Java Servlets; The JPYDBG Debugger; Pseudorandom Testing; Performance and System Testing; Optimizing Pixomatic For X86 Processors: Part I; HTTP Response Splitting; Aspect-Oriented Programming and C++; C++ and the Perils of Double-Checked Locking: Part II; When Format Strings Attack!; The Subersion Version-Control Program; Runtime Monitoring and Software Verification.)
Published by CMP Media, 2004
Seller: GloryBe Books & Ephemera, LLC, Deforest, WI, U.S.A.
Seller rating 5 out of 5 stars
No binding. Condition: Good. Residue of mailing label on cover o/w Good, Tight and Legible. NOT A FORMER LIBRARY BOOK.
