Software Reliability Methods

Peled, Doron A.

ISBN 10: 0387951067 ISBN 13: 9780387951065

Editorial: Springer New York, 2001

Idioma: Ingl�s

Condici�n: Usado - Como Nuevo Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por Better World Books: West, Reno, NV, Estados Unidos de America

Vendedor de AbeBooks desde 14 de marzo de 2016

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa dura

Condici�n: Usado - Como Nuevo

Precio: EUR 10,23 Convertir moneda

Gratis gastos de env�o en Estados Unidos de America Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

Used book that is in almost brand-new condition.

N� de ref. del art�culo 50597173-75

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Software Reliability Methods

Editor

Springer New York

Fecha de publicaci�n

2001

Idioma

Ingl�s

ISBN 10

0387951067

ISBN 13

9780387951065

Encuadernaci�n

Encuadernaci�n de tapa dura

Edici�n

1st Edition.

Estado

As New

Cat�logos de vendedores

Acerca de

Sinopsis

This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. The description of the techniques is intended for a non-expert audience with some minimal technical background. It also describes some advanced techniques, aimed at researchers and practitioners in software engineering. This reference will serve as an introduction to formal methods and techniques and will be a source for learning about various ways to enhance software reliability. Various projects and exercises give readers hands-on experience with the various formal methods and tools.

Cr�ticas

From the reviews:

"The book covers a wide range of formal methods and how to use them to specify, verify and test software systems. ... the book will provide a good, gentle introduction to the field with many pointers to more in-depth material. ... I strongly recommend this book for anyone interested in using formal methods to develop reliable software. The book presents a very good introduction to the field and ... covers the state-of-the-art in software reliability methods." (Michael Leuschel, Software Testing, Verification and Reliability, Vol. 2 (2), November, 2001)

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

Descripci�n de la librer�a

Better World Books is a for-profit, socially conscious business and a global online bookseller that collects and sells new and used books online, matching each purchase with a book donation. Each sale generates funds for literacy and education initiatives in the U.S., the UK, and around the world. Since its launch in 2003, Better World Books has raised over $35 million for libraries and literacy, donated over 38 million books, and reused or recycled more than 475 million books.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Better World Books Marketplace, Inc.
55742 Currant Road, Mishawaka, IN, 46545, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

Better World Books (BWB) values your satisfaction and offers you returns within thirty (30) days after the estimated delivery date on most items. All returned items must be in the original condition; used items should include the SKU sticker located on the spine or back of the product.

If you have an incomplete, incorrect, or damaged shipment, please contact our Customer Care team via Abebooks contact seller options before proceeding with the return.Please keep in mind that because we deal mostl...

M�s informaci�n

Derecho a cancelaci�n

Condiciones de env�o

Please allow 1-2 business days for order fulfillment.

Tarifas de env�o en Estados Unidos de America

Tarifas de env�o en Estados Unidos de America
Cantidad del pedido	De 4 a 8 d�as h�biles	De 3 a 5 d�as h�biles
Primer art�culo	EUR 0.00	EUR 8.53

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.