Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Fouad Ben Nasr Omri
ISBN 10: 3731504723 ISBN 13: 9783731504726
Verlag: Karlsruher Institut für Technologie, 2018
Neu
Taschenbuch
Verkäufer
preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 5. August 2024
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment | Fouad Ben Nasr Omri | Taschenbuch | 192 S. | Englisch | 2018 | Karlsruher Institut für Technologie | EAN 9783731504726 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu. Bestandsnummer des Verkäufers 115091961
Inhaltsangabe:
This work developed an automatic approach for the assessment of software reliability which is both theoretical sound and practical. The developed approach extends and combines theoretical sound approaches in a novel manner to systematically reduce the overhead of reliability assessment.
Reseña del editor: This work developed an automatic approach for the assessment of software reliability which is both theoretical sound and practical. The developed approach extends and combines theoretical sound approaches in a novel manner to systematically reduce the overhead of reliability assessment.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Weighted Statistical Testing based on Active...
Verlag: Karlsruher Institut für Technologie
Erscheinungsdatum: 2018
Einband: Taschenbuch
Zustand: Neu
Beste Suchergebnisse bei AbeBooks
Foto des Verkäufers
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
ISBN 10: 3731504723
ISBN 13: 9783731504726
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This work developed an automatic approach for the assessment of software reliability which is both theoretical sound and practical. The developed approach extends and combines theoretical sound approaches in a novel manner to systematically reduce the overhead of reliability assessment.Books on Demand GmbH, Überseering 33, 22297 Hamburg 192 pp. Englisch. Bestandsnummer des Verkäufers 9783731504726
Neu kaufen
EUR 35,00
EUR 60,00 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Verlag:
Karlsruher Institut Für Technologie, 2018
ISBN 10: 3731504723
ISBN 13: 9783731504726
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This work developed an automatic approach for the assessment of software reliability which is both theoretical sound and practical. The developed approach extends and combines theoretical sound approaches in a novel manner to systematically reduce the overhead of reliability assessment. Bestandsnummer des Verkäufers 9783731504726
Neu kaufen
EUR 35,00
EUR 61,43 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Verlag:
Karlsruher Institut Für Technologie Dez 2018, 2018
ISBN 10: 3731504723
ISBN 13: 9783731504726
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This work developed an automatic approach for the assessment of software reliability which is both theoretical sound and practical. The developed approach extends and combines theoretical sound approaches in a novel manner to systematically reduce the overhead of reliability assessment. 192 pp. Englisch. Bestandsnummer des Verkäufers 9783731504726
Neu kaufen
EUR 35,00
EUR 23,00 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This work developed an automatic approach for the assessment of software reliability which is both theoretical sound and practical. The developed approach extends and combines theoretical sound approaches in a novel manner to systematically reduce the overh. Bestandsnummer des Verkäufers 385772913
Neu kaufen
EUR 35,00
EUR 48,99 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar