Gesamtpreis (1 Artikel Artikel):
Versandziel:
software verification validation (73 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (73)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand
Weitere Eigenschaften
- Erstausgabe (2)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (28)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Software best practice. Part 1: Software quality approaches : testing, verification, and validation.
Verlag: Berlin, Springer, 2001
Sprache: Englisch
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Deutschland
Verbandsmitglied: GIAQ
Verkäuferbewertung 5 von 5 Sternen
EUR 5,00
Währung umrechnenEUR 1,50 für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Wie neu. XIV, 302 S.; Ill. Like new. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 595.
-
Software Verification and Validation: A (Artech House Computer Library (Hardcover))
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 3,94
Währung umrechnenEUR 4,62 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: 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.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 101,40
Gebraucht ab EUR 8,56
Mehr entdecken Hardcover
-
Verification and Validation of Modern Software-Intensive Systems
Verlag: Pearson Education, Limited, 2000
ISBN 10: 0130205842 ISBN 13: 9780130205841
Sprache: Englisch
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 6,48
Währung umrechnenEUR 5,88 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. 1st Edition. Ships from the UK. Used book that is in clean, average condition without any missing pages.
Mehr Angebote von anderen Verkäufern bei ZVAB
Gebraucht ab EUR 12,36
Mehr entdecken Softcover Erstausgabe
-
Software Verification and Validation: Realistic Project Approaches
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 6,16
Währung umrechnenEUR 6,49 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: 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.
-
Independent Verification and Validation : A Life Cycle Engineering Process for Quality Software
Verlag: Wiley & Sons, Incorporated, John, 1992
ISBN 10: 0471570117 ISBN 13: 9780471570110
Sprache: Englisch
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 5,66
Währung umrechnenEUR 9,21 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Used book that is in clean, average condition without any missing pages.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 194,45
Gebraucht ab EUR 14,87
Mehr entdecken Hardcover
-
EUR 18,51
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. KlappentextrnrnThis is a reproduction of the original artefact. Generally these books are created from careful scans of the original. This allows us to preserve the book accurately and present it in the way the author intended. Since the origina.
-
Software Verification and Validation for Practitioners and Managers
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 8,86
Währung umrechnenEUR 10,48 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: As New. 2 Edition. Used book that is in almost brand-new condition.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 111,64
Gebraucht ab EUR 19,34
Mehr entdecken Hardcover
-
Guideline for Lifecycle Validation, Verification, and Testing of Computer Software (Classic Reprint)
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 18,23
Währung umrechnenEUR 4,56 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 15 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Guideline for Lifecycle Validation, Verification, and Testing of Computer Software Classic Reprint
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 23,00
Währung umrechnenEUR 4,56 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 15 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Software validation : inspection, testing, verification, alternatives ; proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25 - 30, 1983.
Verlag: Amsterdam ; New York, NY ; Oxford : North-Holland, 1984
ISBN 10: 044487593X ISBN 13: 9780444875938
Sprache: Englisch
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 24,95
Währung umrechnenEUR 3,20 für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den Warenkorbgebundene Ausgabe. Zustand: 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.
-
Software Quality Approaches: Testing, Verification, and Validation: Software Best Practice 1
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 27,54
Währung umrechnenEUR 6,38 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: 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.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 47,23
Gebraucht ab EUR 33,92
Mehr entdecken Softcover
-
Software Validation: inspection - testing - verification - alternatives.
Verlag: North Holland, 1984
Sprache: Englisch
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 23,95
Währung umrechnenEUR 3,20 für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den Warenkorbgebundene Ausgabe. Zustand: 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.
-
Verification and Validation of Modern Software-Intensive Systems
Verlag: Prentice Hall, 2000
ISBN 13: 0076092029489
Anbieter: Reuseabook, Gloucester, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 23,49
Währung umrechnenEUR 5,23 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den Warenkorbhardcover. Zustand: 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.
-
Software Validation, Verification, Testing and Documentation : A Source Book
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 38,40
Währung umrechnenEUR 9,83 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Used book that is in clean, average condition without any missing pages.
-
Software Verification and Validation: An Engineering and Scientific Approach
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 45,45
Währung umrechnenEUR 6,17 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less 0.95.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 128,39
Gebraucht ab EUR 51,62
Mehr entdecken Hardcover
-
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22¿30, 2022, Proceedings, Part II
Verlag: Springer Nature Switzerland, 2022
ISBN 10: 3031197550 ISBN 13: 9783031197550
Sprache: Englisch
Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 444 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 66,44
Gebraucht ab EUR 51,22
Mehr entdecken Softcover
-
Verification and Validation of Real-Time Software
Verlag: Springer Berlin Heidelberg, 2011
ISBN 10: 3642702260 ISBN 13: 9783642702266
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: 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.
-
Verification and Validation of Real-Time Software
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1985
ISBN 10: 3540151028 ISBN 13: 9783540151029
Sprache: Englisch
EUR 54,99
Währung umrechnenEUR 3,99 für den Versand von Frankreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 1985. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1985. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 55,52
Währung umrechnenEUR 5,85 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Software Fault Prevention, Verification, and Validation : First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings
Verlag: Springer Nature Singapore, Springer Nature Singapore, 2025
ISBN 10: 9819616204 ISBN 13: 9789819616206
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 68,67
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the First International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2024, held in Hiroshima, Japan, during December 2-3, 2024.The 18 full papers included in this book were carefully reviewed and selected from 39 submissions. This SFPVV 2024 symposium encourages the exchange of ideas and discussion on how formal methods, testing-based techniques, AI-driven approaches, and their combinations can be explored, established, and refined to achieve the goals of software fault preven tion, verification, and validation.
-
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
Verlag: Springer International Publishing, Springer Nature Switzerland, 2024
ISBN 10: 3031753860 ISBN 13: 9783031753862
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 70,61
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: 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.
-
Software Verification and Validation : An Engineering and Scientific Approach
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 94,06
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: 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.
-
Verification, Validation and Testing in Software Engineering
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 100,54
Währung umrechnenEUR 5,85 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Medical Device Software Verification, Validation and Compliance
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 117,43
Währung umrechnenEUR 34,63 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: 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.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 164,64
Gebraucht ab EUR 152,06
Mehr entdecken Hardcover
-
Software Verification and Validation for Practitioners and Managers, Second Edition
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 149,94
Währung umrechnenEUR 11,76 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 414 pages. 9.00x6.00x0.94 inches. In Stock.
-
IEEE Standard for Software Verification and Validation
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 821,38
Währung umrechnenEUR 4,62 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: 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.
