SYMBOLIC SIMULATION METHODS FOR INDUSTRIAL FORMAL VERIFICATION (HB 2002). Este artículo no está disponible.
Idioma: inglés
Editorial: SP SPRINGER, 2002
- Tapa dura
- Nuevo

Librería: UK BOOKS STORE, London, London, Reino UnidoUK BOOKS STORE
Vendedor de IberLibro desde 11 de marzo de 2024
Condición: Nuevo
EUR 103,99
Descripción del artículo del vendedor
Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
N° de ref. del artículo CBS 9781402071034
- Título
- SYMBOLIC SIMULATION METHODS FOR INDUSTRIAL FORMAL VERIFICATION (HB 2002)
- Autor
- JONES R.B.
- Editorial
- SP SPRINGER
- Año de publicación
- 2002
- Estado
- New
- Encuadernación
- Encuadernación de tapa dura
- Idioma
- inglés
- ISBN 10
- 1402071035
- ISBN 13
- 9781402071034
- Edición
- Edición Internacional
This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation. It describes new ideas that enable the use of formal methods, specifically symbolic simulation, in validating commercial hardware designs of remarkable complexity.
“Sinopsis” puede pertenecer a otra edición de este título.
Reseña del editor
This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation. It describes new ideas that enable the use of formal methods, specifically symbolic simulation, in validating commercial hardware designs of remarkable complexity.
“Acerca de” puede pertenecer a otra edición de este título.