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
Published by Karlsruher Institut für Technologie, 2018
New
Taschenbuch
From
preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
AbeBooks Seller since August 5, 2024
This specific item is no longer available.
About this Item
Description:
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. Seller Inventory # 115091961
Synopsis:
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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Weighted Statistical Testing based on Active...
Publisher: Karlsruher Institut für Technologie
Publication Date: 2018
Binding: Taschenbuch
Condition: Neu
Top Search Results from the AbeBooks Marketplace
Seller Image
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Published by
Karlsruher Institut Für Technologie, Karlsruher Institut Für Technologie Dez 2018, 2018
ISBN 10: 3731504723
ISBN 13: 9783731504726
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783731504726
Buy New
US$ 42.33
US$ 70.45 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Published by
Karlsruher Institut Für Technologie, 2018
ISBN 10: 3731504723
ISBN 13: 9783731504726
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783731504726
Buy New
US$ 42.33
US$ 72.13 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Published by
Karlsruher Institut Für Technologie Dez 2018, 2018
ISBN 10: 3731504723
ISBN 13: 9783731504726
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783731504726
Buy New
US$ 42.33
US$ 27.01 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Published by
KIT Scientific Publishing, 2018
ISBN 10: 3731504723
ISBN 13: 9783731504726
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: 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. Seller Inventory # 385772913
Buy New
US$ 42.33
US$ 57.52 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available