Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science, 4949)

ISBN 10: 3540789162 ISBN 13: 9783540789161

Editorial: Springer, 2008

Idioma: Ingl�s

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

Guardar para m�s tarde

Librer�a: Lucky's Textbooks, Dallas, TX, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Vendedor de AbeBooks desde 22 de julio de 2022

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Nuevos - Encuadernaci�n de tapa blanda

Precio: EUR 53,80 Convertir moneda

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

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

N� de ref. del art�culo ABLIING23Mar3113020177129

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Formal Methods and Testing: An Outcome of ...

Editorial: Springer

A�o de publicaci�n: 2008

Encuadernaci�n: Encuadernaci�n de tapa blanda

Condici�n: New

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

Quality books, speedy shipping, and great customer service! Please note that used items may not include access codes or cards, CD's or other accessories, regardless of what is stated in item title. If you need to guarantee that these items are included, please purchase a brand new copy.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

J2B Holdings, LLC
13770 NOEL RD, #803600, Dallas, TX, 75240, U.S.A.

Condiciones de venta:

We guarantee the condition of every book as it's described on the AbeBooks web
sites. Please note that used items may not include access codes or cards, CD's
or other accessories, regardless of what is stated in item title. If you need to
guarantee that these items are included, please purchase a brand new copy.

All requests for refunds and/or returns will be processed in accordance with
AbeBooks policies. If you're dissatisfied with your purchase (Incorrect Book/Not
as Described/Damaged) or if ...

M�s informaci�n

Condiciones de env�o:

Books ordered via expedited shipping should arrive between 2 and 7 business days after shipment confirmation. Books ordered via standard shipping should arrive between 4 and 14 business days after shipment confirmation.

M�todos de pago
aceptados por la librer�a

A�adir una petici�n

Art�culos relacionados a Formal Methods and Testing: An Outcome of the FORTEST...

Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science, 4949)

Nuevos - Encuadernaci�n de tapa blanda

Informaci�n empresarial del vendedor