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

Idioma: Ingl�s

Nuevos Condici�n: Neu Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por preigu, Osnabr�ck, Alemania

Vendedor de AbeBooks desde 5 de agosto de 2024

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Nuevos - Encuadernaci�n de tapa blanda

Condici�n: Neu

Precio: EUR 35,00 Convertir moneda

EUR 55,00 gastos de env�o desde Alemania a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 5 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

N� de ref. del art�culo 115091961

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

Editor

Karlsruher Institut f�r Technologie

Fecha de publicaci�n

2018

Idioma

Ingl�s

ISBN 10

3731504723

ISBN 13

9783731504726

Encuadernaci�n

Taschenbuch

Estado

Neu

Cat�logos de vendedores

B�cher

Acerca de

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

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

preigu betreibt einen Onlineversandhandel mit �ber 1 Mio. Produkten in verschiedenen Sortimenten. Das Kernsortiment besteht aus B�chern, Medien und Spielwaren. Ein gelungenes Einkaufserlebnis ist das Ziel einer jeden Bestellung bei preigu, denn der Kunde und seine Zufriedenheit stehen an erster Stelle. preigu setzt daher auf einen kompetenten Kundenservice, funktionierende Prozesse und schnelle Reaktion.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

preigu
Germany

Condiciones de venta y env�o

Condiciones de venta

Standard Business Terms and customer information

I. Standard business terms

� 1 Basic provisions

(1) The following terms and conditions of business apply for all contracts concluded with us as the supplier (Ansas Meyer) via the websites AbeBooks and/or ZVAB. Unless otherwise agreed, the inclusion of your own terms and conditions is explicitly rejected.

(2) A ?consumer' in the sense of the following regulations is every natural person who concludes a legal transaction which, to an overwhelming ex...

M�s informaci�n