FORMAL METHODS AND TESTING : AN OUTCOME OF THE FORTEST NETWORK. REVISED SELECTED PAPERS

ROBERT M. HIERONS,JONATHAN P. BOWEN,MARK HARMAN

ISBN 10: 3540789162 ISBN 13: 9783540789161

Editorial: Springer, 2008

Idioma: Ingl�s

Condici�n: Nuevo Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por Basi6 International, Irving, TX, Estados Unidos de America

Vendedor de AbeBooks desde 24 de junio de 2016

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: Nuevo

Precio: EUR 66,39 Convertir moneda

EUR 25,61 gastos de env�o desde Estados Unidos de America a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

N� de ref. del art�culo ABEJUNE24-270861

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

FORMAL METHODS AND TESTING : AN OUTCOME OF THE FORTEST NETWORK. REVISED SELECTED PAPERS

Editor

Springer

Fecha de publicaci�n

2008

Idioma

Ingl�s

ISBN 10

3540789162

ISBN 13

9783540789161

Encuadernaci�n

Encuadernaci�n de tapa blanda

Estado

Brand New

Cat�logos de vendedores

Acerca de

Sinopsis

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST). Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal methods (e.g. precision, clarity, provability) with the advantages of testing (e.g. scalability, generality, applicability).

Rese�a del editor

Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal methods (e.g., precision, clarity, provability) with the advantages of testing (e.g., scalability, generality, applicability).

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

Descripci�n de la librer�a

Professional Book Seller offering fast shipping and hassle-free returns for every order. Our 100% satisfaction policy guarantees that you get the best product and the best service at the best price!

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Basi6 International LLC
1018 Camino Lago, Irving, TX, 75039, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

Professional Book Seller shipping from Multiple Locations Worldwide for fastest delivery possible!

Derecho a cancelaci�n

Condiciones de env�o

All orders shipped via FedEx or DHL and delivered to your doorstep within 3-5 days. We do not ship to P.O.Boxes and a proper street address must be provided to avoid any delays.

Tarifas de env�o de Estados Unidos de America a Espa�a

Tarifas de env�o de Estados Unidos de America a Espa�a
Cantidad del pedido	De 25 a 45 d�as h�biles	De 8 a 14 d�as h�biles
Primer art�culo	EUR 25.61	EUR 25.61

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.

Informaci�n detallada sobre el vendedor