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
Editorial: Karlsruher Institut für Technologie, 2018
Nuevos
Taschenbuch
Librería:
preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 5 de agosto de 2024
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
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. N° de ref. del artículo 115091961
Sinopsis:
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Detalles bibliográficos
Título: Weighted Statistical Testing based on Active...
Editorial: Karlsruher Institut für Technologie
Año de publicación: 2018
Encuadernación: Taschenbuch
Condición: Neu
Los mejores resultados en AbeBooks
Imagen del vendedor
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Publicado por
Karlsruher Institut Für Technologie, Karlsruher Institut Für Technologie Dez 2018, 2018
ISBN 10: 3731504723
ISBN 13: 9783731504726
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783731504726
Comprar nuevo
EUR 35,00
EUR 60,00 shipping
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Publicado por
Karlsruher Institut Für Technologie, 2018
ISBN 10: 3731504723
ISBN 13: 9783731504726
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783731504726
Comprar nuevo
EUR 35,00
EUR 61,43 shipping
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Publicado por
Karlsruher Institut Für Technologie Dez 2018, 2018
ISBN 10: 3731504723
ISBN 13: 9783731504726
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783731504726
Comprar nuevo
EUR 35,00
EUR 23,00 shipping
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Publicado por
KIT Scientific Publishing, 2018
ISBN 10: 3731504723
ISBN 13: 9783731504726
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: 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. Nº de ref. del artículo: 385772913
Comprar nuevo
EUR 35,00
EUR 48,99 shipping
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles