Montant total (1 article articles) :
Destination de la commande :
software verification (Plus de 1 100 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (1 189)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
Particularités
- Ed. originale (5)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (585)
- Sans impressions à la demande (775)
Langue (5)
Livraison gratuite
Pays
Evaluation du vendeur
-
Software Verification and Validation: Realistic Project Approaches
Langue: anglais
Edité par Prentice Hall, Inc, Lebanon, Indiana, U.S.A., 1982
ISBN 10 : 0138220727 ISBN 13 : 9780138220723
Vendeur : Bramble Ridge Books, Frankewing, TN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 1,76
Expédition à EUR 4,29
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : 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.
-
Independent Verification and Validation: A Life Cycle Engineering Process for Quality Software
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 6,80
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Very Good. No Jacket. Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Independent Verification and Validation: A Life Cycle Engineering Process for Quality Software
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 6,80
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : 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
Langue: anglais
Edité par Wiley & Sons, Incorporated, John, 1992
ISBN 10 : 0471570117 ISBN 13 : 9780471570110
Vendeur : Better World Books: West, Reno, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 6,81
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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
Langue: anglais
Edité par Wiley & Sons, Incorporated, John, 1992
ISBN 10 : 0471570117 ISBN 13 : 9780471570110
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 6,81
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
-
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 7,96
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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! Ships USPS Media Mail.
-
Software Verification and Validation: Realistic Project Approaches
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 8,52
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : 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
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 8,52
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Vendeur : ThriftBooks-Phoenix, Phoenix, AZ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 8,84
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 8,84
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 8,84
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : 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
Vendeur : Goodwill of Silicon Valley, SAN JOSE, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 8,85
Expédition à EUR 3,43
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
-
Verification and Validation of Modern Software-Intensive Systems
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 9,41
Expédition à EUR 3,23
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : 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!
-
Verification and Validation of Modern Software-Intensive Systems
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 12,95
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Verification and Validation of Modern Software-Intensive Systems
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 12,95
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : 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)
Vendeur : Wonder Book, Frederick, MD, Etats-Unis
Membre d'association : ABAA ILAB
Évaluation du vendeur 5 sur 5 étoiles
EUR 14,55
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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))
Langue: anglais
Edité par Artech House Publishers, 1997
ISBN 10 : 0890068895 ISBN 13 : 9780890068892
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 11,48
Expédition à EUR 3,23
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : 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
Langue: anglais
Edité par Artech House Publishers, 1997
ISBN 10 : 0890068895 ISBN 13 : 9780890068892
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 14,89
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : 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)
Vendeur : Bingo Books 2, Vancouver, WA, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Edition originale
EUR 9,75
Expédition à EUR 5,41
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Near Fine. 1st Edition. hardback book in near fine condition.
-
Verification and Validation of Real-Time Software
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 11,76
Expédition à EUR 3,87
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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)
Langue: anglais
Edité par Artech House Publishers, 1997
ISBN 10 : 0890068895 ISBN 13 : 9780890068892
Vendeur : AwesomeBooks, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 10,18
Expédition à EUR 5,72
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : 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. .
-
Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)
Livre 20 sur 99 : Undergraduate Topics in Computer ScienceVendeur : Goodwill Books, Hillsboro, OR, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 13,24
Expédition à EUR 3,43
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : good. Signs of wear and consistent use.
-
Verification and Validation of Autonomy Software at NASA (Paperback or Softback)
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 16,96
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierPaperback or Softback. Etat : New. Verification and Validation of Autonomy Software at NASA. Book.
-
Environmental Technology Verification Report: Environmental Decision Support Software C Tech Development Corporation Environmental Visualization Syste (Paperback or Softback)
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 20,25
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierPaperback or Softback. Etat : 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
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 18,94
Expédition à EUR 2,27
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Building Bulletproof Software: How Formal Verification Saves the Day (Paperback or Softback)
Langue: anglais
Edité par Tredition Gmbh 6/21/2024, 2024
ISBN 10 : 3384268024 ISBN 13 : 9783384268020
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 21,29
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierPaperback or Softback. Etat : 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)
Edité par CMP Media, 2005
Vendeur : GloryBe Books & Ephemera, LLC, Deforest, WI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 3,01
Expédition à EUR 4,81
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierNo binding. Etat : 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.
-
Guideline for Lifecycle Validation, Verification, and Testing of Computer Software (Classic Reprint)
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 21,64
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierPAP. Etat : New. New Book. Shipped from UK. Established seller since 2000.
-
Software Verification and Validation: Realistic Project Approaches
Vendeur : Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 6,01
Expédition à EUR 15,59
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.)
Edité par CMP Media, 2004
Vendeur : GloryBe Books & Ephemera, LLC, Deforest, WI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 3,77
Expédition à EUR 4,81
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierNo binding. Etat : Good. Residue of mailing label on cover o/w Good, Tight and Legible. NOT A FORMER LIBRARY BOOK.
