Computer Aided Verification

ISBN 10: 3540733671 ISBN 13: 9783540733676

Editorial: Springer, 2007

Idioma: Ingl�s

Condici�n: Nuevo Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por Majestic Books, Hounslow, Reino Unido

Vendedor de AbeBooks desde 19 de enero de 2007

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 32,62 Convertir moneda

EUR 10,24 gastos de env�o desde Reino Unido a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 4 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

pp. 584 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

N� de ref. del art�culo 7546599

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Computer Aided Verification
Editor: Springer
Fecha de publicaci�n: 2007
Idioma: Ingl�s
ISBN 10: 3540733671
ISBN 13: 9783540733676
Encuadernaci�n: Encuadernaci�n de tapa blanda
Estado: New

Acerca de

Sinopsis

This book constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification. Thirty-three state-of-the-technology papers are presented, together with fourteen tool papers, three invited papers, and four invited tutorials. All the current issues in computer aided verification and model checking? from foundational and methodological issues to the evaluation of major tools and systems? are addressed.

Rese�a del editor

This book constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification. Thirty-three state-of-the-technology papers are presented, together with fourteen tool papers, three invited papers, and four invited tutorials. All the current issues in computer aided verification and model checking―from foundational and methodological issues to the evaluation of major tools and systems―are addressed.

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

Descripci�n de la librer�a

We specialise in General Interest Books from South Asian countries.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

BOOKS AND PERIODICALS AGENCY LTD
90 Barnet Gate Lane, Barnet, EN5 2AX, United Kingdom

Condiciones de venta y env�o

Condiciones de venta

Returns accepted if you are not satisfied with the Service or Book.

Condiciones de env�o

Best packaging and fast delivery

M�todos de pago

A�adir una petici�n