Importo totale (1 articolo articoli):
Destinazione ordine:
software verification validation (231 risultati)
Feedback
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (231)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni
Legatura
Ulteriori caratteristiche
- Prima ed. (3)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (90)
- Non Print on Demand (170)
Lingua (3)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Software Verification and Validation: A (Artech House Computer Library (Hardcover))
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 3,96
Convertire valutaEUR 4,64 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. Pencil on inside page. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 100,27
Usato - A partire da EUR 8,60
Scopri anche Rilegato
-
Verification and Validation of Modern Software-Intensive Systems
Editore: Pearson Education, Limited, 2000
ISBN 10: 0130205842 ISBN 13: 9780130205841
Lingua: Inglese
Da: Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 6,58
Convertire valutaEUR 5,90 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. 1st Edition. Ships from the UK. Used book that is in clean, average condition without any missing pages.
Ulteriori offerte da altri venditori AbeBooks
Usato - A partire da EUR 12,48
Scopri anche Brossura Prima edizione
-
Software best practice. Part 1: Software quality approaches : testing, verification, and validation.
Editore: Berlin, Springer, 2001
Lingua: Inglese
Da: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germania
Membro dell'associazione: GIAQ
Valutazione del venditore 5 su 5 stelle
EUR 5,00
Convertire valutaEUR 8,00 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Wie neu. XIV, 302 S.; Ill. Like new. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 595.
-
EUR 6,19
Convertire valutaEUR 9,99 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 92,48
Usato - A partire da EUR 16,18
Scopri anche Rilegato Prima edizione
-
Software Verification and Validation for Practitioners and Managers 2nd ed.
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 9,61
Convertire valutaEUR 11,49 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.75.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 76,39
Usato - A partire da EUR 21,10
Scopri anche Rilegato
-
Guideline for Lifecycle Validation, Verification, and Testing of Computer Software (Classic Reprint)
Da: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 19,52
Convertire valutaEUR 1,96 per la spedizione da U.S.A. a ItaliaQuantità: 15 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
Validation, Verification, and Testing of Computer Software, Issues 500-575
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 16,73
Convertire valutaEUR 5,95 per la spedizione da Regno Unito a ItaliaQuantità: 15 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
Independent Verification and Validation : A Life Cycle Engineering Process for Quality Software
Editore: Wiley & Sons, Incorporated, John, 1992
ISBN 10: 0471570117 ISBN 13: 9780471570110
Lingua: Inglese
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 5,72
Convertire valutaEUR 17,96 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. Used book that is in clean, average condition without any missing pages.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 159,86
Usato - A partire da EUR 23,68
Scopri anche Rilegato
-
Software Quality Approaches: Testing, Verification, and Validation: Software Best Practice 1
Da: WeBuyBooks, Rossendale, LANCS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 15,51
Convertire valutaEUR 8,72 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 56,93
Usato - A partire da EUR 24,23
Scopri anche Brossura
-
Guideline for Lifecycle Validation, Verification, and Testing of Computer Software Classic Reprint
Da: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 25,19
Convertire valutaEUR 1,96 per la spedizione da U.S.A. a ItaliaQuantità: 15 disponibili
Aggiungi al carrelloHRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
Verification and Validation of Real-Time Software
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 6,74
Convertire valutaEUR 20,98 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Very Good. 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 validation : inspection, testing, verification, alternatives ; proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25 - 30, 1983.
Editore: Amsterdam ; New York, NY ; Oxford : North-Holland, 1984
ISBN 10: 044487593X ISBN 13: 9780444875938
Lingua: Inglese
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
EUR 24,95
Convertire valutaEUR 9,95 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrellogebundene Ausgabe. Condizione: Gut. XII, 375 S. : graph. Darst. Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Schnitt und Einband sind etwas staubschmutzig; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Text in ENGLISCHER Sprache! Sprache: Englisch Gewicht in Gramm: 640.
-
Verification and Validation of Modern Software-Intensive Systems
Editore: Prentice Hall, 2000
ISBN 13: 0076092029489
Da: Reuseabook, Gloucester, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 25,24
Convertire valutaEUR 5,40 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrellohardcover. Condizione: Used; Good. Dispatched, from the UK, within 48 hours of ordering. This book is in good condition but will show signs of previous ownership. Please expect some creasing to the spine and/or minor damage to the cover.
-
Verification and Validation of Autonomy Software at NASA
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 25,85
Convertire valutaEUR 7,87 per la spedizione da U.S.A. a ItaliaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 22.
-
Software Validation: inspection - testing - verification - alternatives.
Editore: North Holland, 1984
Lingua: Inglese
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
EUR 23,95
Convertire valutaEUR 9,95 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrellogebundene Ausgabe. Condizione: Gut. 375 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Einbandkanten sind leicht bestoßen; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. ENGLISCH. Sprache: Englisch Gewicht in Gramm: 660.
-
Software Validation Verification Testing and Documentation
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 38,82
Convertire valutaEUR 11,17 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Very Good. No Jacket. Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.7.
-
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22¿30, 2022, Proceedings, Part II
Editore: Springer Nature Switzerland, 2022
ISBN 10: 3031197550 ISBN 13: 9783031197550
Lingua: Inglese
Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 444 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 76,14
Usato - A partire da EUR 56,00
Scopri anche Brossura
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 55,78
Convertire valutaEUR 10,62 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 62,05
Usato - A partire da EUR 132,91
Scopri anche Brossura
-
Guideline for Lifecycle Validation, Verification, and Testing of Computer Software. FIPS Pub 101
Editore: GPO, Washington, DC, 1983
Da: Ground Zero Books, Ltd., Silver Spring, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 22,51
Convertire valutaEUR 26,23 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloWraps. Condizione: very good. Quarto, 37, wraps, figures, tables, appendices, references, glossary.
-
Verification and Validation of Real-Time Software
Editore: Springer Berlin Heidelberg, 2011
ISBN 10: 3642702260 ISBN 13: 9783642702266
Lingua: Inglese
EUR 53,49
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - W.J.Quirk 1.1 Real-time software and the real world Real-time software and the real world are inseparably related. Real time cannot be turned back and the real world will not always forget its history. The consequences of previous influences may last for a long time and the undesired effects may range from being inconvenient to disastrous in both economic and human terms. As a result, there is much pressure to develop and apply techniques to improve the reliability of real-time software so that the frequency and consequences of failure are reduced to a level that is as low as reasonably achievable. This report is about such techniques. After a detailed description of the software life cycle, a chapter is devoted to each of the four principle categories of technique available at present. These cover all stages of the software development process and each chapter identifies relevant techniques, the stages to which they are applicable and their effectiveness in improving real-time software reliability. 1.2 The characteristics of real-time software As well as the enhanced reliability requirement discussed above, real-time software has a number of other distinguishing characteristics. First, the sequencing and timing of inputs are determined by the real world and not by the programmer. Thus the program needs to be prepared for the unexpected and the demands made on the system may be conflicting. Second, the demands on the system may occur in parallel rather than in sequence.
-
Software Fault Prevention, Verification, and Validation: First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings (Lecture Notes in Computer Science)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 68,14
Convertire valutaEUR 10,62 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Software Validation, Verification, and Testing Technique and Tool Reference Guide. NBS Special Publication 500-93 in the Computer Science and Technology series.
Editore: U. S. Department of Commerce - National Bureau of Standards, Washington, 1982
Da: SUNSET BOOKS 2, Newark, OH, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 17,11
Convertire valutaEUR 41,09 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Good. No Jacket. First. 131pp, w/markings and pocket, wear/soil. Weight is 1.5 lb. Back cvr is loose but included. Ex-Library Size: 4to. Book.
-
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27¿31, 2024, Proceedings, Part IV
Editore: Springer International Publishing, Springer Nature Switzerland, 2024
ISBN 10: 3031753860 ISBN 13: 9783031753862
Lingua: Inglese
EUR 70,61
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification,construction, test, and maintenance of systems from the point of view of their different application domains.
-
nuclear power plant digital control system software verification and validation of practical manuals(Chinese Edition)
Editore: Xiamen University Press Pub. Date :2010-05, 2000
ISBN 10: 7561535090 ISBN 13: 9787561535097
Lingua: Inglese
EUR 89,06
Convertire valutaEUR 13,12 per la spedizione da Cina a ItaliaQuantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: New. Language:Chinese.Pages Number: 81 Publisher: Xiamen University Press Pub. Date :2010-05. The book has six chapters. including introduction; V V regulatory guidelines and IEEE standards; V V.
-
EUR 94,06
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The World is lacking an in-depth technical book describing the meth ods and techniques used to provide confidence in our system software. Not only is the U.S. government more focused on software safety in to day's market, but private industry and academia are as well. The methods and techniques that provide such confidence are commonly called software verification and validation. Software Verification and Validation: An Engineering and Scientific Approach, a professional book, fills the critical need for an in-depth tech nical reference providing the methods and techniques for building and maintaining confidence in many varieties of system software. The intent of this volume is to help develop reliable answers to such critical questions as: 1) Are we building the right software for the need 2) Are we building the software right Software Verification and Validation: An Engineering and Scientific Approach is structured for research scientists and practitioners in industry.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 86,87
Usato - A partire da EUR 174,62
Scopri anche Brossura
-
Verification, Validation and Testing in Software Engineering
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 101,00
Convertire valutaEUR 10,62 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 108,81
Usato - A partire da EUR 129,06
Scopri anche Rilegato
-
Software Verification and Validation: An Engineering and Scientific Approach
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 131,40
Convertire valutaEUR 10,62 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 116,79
Usato - A partire da EUR 152,38
-
EUR 117,97
Convertire valutaEUR 37,86 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: 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. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1050grams, ISBN:9781596934221.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 161,65
Usato - A partire da EUR 155,83
Scopri anche Rilegato
-
Software Verification and Validation for Practitioners and Managers, Second Edition
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 150,62
Convertire valutaEUR 11,81 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 414 pages. 9.00x6.00x0.94 inches. In Stock.
-
IEEE Standard for Software Verification and Validation
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 825,14
Convertire valutaEUR 4,64 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Like New. Used - Like New. Book is new and unread but may have minor shelf wear. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
