Formal Methods for Hardware Verification

Cimatti Alessandro Bernardo Marco

ISBN 10: 3540343040 ISBN 13: 9783540343042

Editorial: Springer, 2006

Idioma: Ingl�s

Condici�n: Nuevo Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por Biblios, Frankfurt am main, HESSE, Alemania

Vendedor de AbeBooks desde 10 de septiembre 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: Nuevo

Precio: EUR 77,06 Convertir moneda

EUR 14,50 gastos de env�o desde Alemania 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

pp. 256.

N� de ref. del art�culo 18302992

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Formal Methods for Hardware Verification

Editor

Springer

Fecha de publicaci�n

2006

Idioma

Ingl�s

ISBN 10

3540343040

ISBN 13

9783540343042

Encuadernaci�n

Encuadernaci�n de tapa blanda

Estado

New

Cat�logos de vendedores

Acerca de

Sinopsis

This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). SFM 2006 was devoted to formal techniques for hardware verification and covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, and more.

Rese�a del editor

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

Descripci�n de la librer�a

We carry a wide selection of books from South Asia, United States, UK.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Readingos GmbH
Kaiserstra�e 47, Frankfurt am Main, 60329, Germany

Condiciones de venta y env�o

Condiciones de venta

Derecho a cancelaci�n

Condiciones de env�o

Tarifas de env�o de Alemania a Espa�a

Tarifas de env�o de Alemania a Espa�a
Cantidad del pedido	De 12 a 25 d�as h�biles	De 12 a 25 d�as h�biles
Primer art�culo	EUR 14.50	EUR 14.50

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