XVIII, 193 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband besto�en, daher M�ngelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.

N� de ref. del art�culo 1848BB

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

High Quality Test Pattern Generation and Boolean Satisfiability.

Editor

New York, Springer.

Fecha de publicaci�n

2012

Idioma

Ingl�s

ISBN 10

1441999752

ISBN 13

9781441999757

Encuadernaci�n

Encuadernaci�n de tapa dura

Peso

431 gramos

Cat�logos de vendedores

Technik

Acerca de

Sinopsis

This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). A fast and highly fault efficient SAT-based ATPG framework is presented which is also able to generate high-quality delay tests such as robust path delay tests, as well as tests with long propagation paths to detect small delay defects.

The aim of the techniques and methodologies presented in this book is to improve SAT-based ATPG, in order to make it applicable in industrial practice. Readers will learn to improve the performance and robustness of the overall test generation process, so that the ATPG algorithm reliably will generate test patterns for most targeted faults in acceptable run time to meet the high fault coverage demands of industry. The techniques and improvements presented in this book provide the following advantages:

Provides a comprehensive introduction to test generation and Boolean Satisfiability (SAT);
Describes a highly fault efficient SAT-based ATPG framework;
Introduces circuit-oriented SAT solving techniques, which make use of structural information and are able to accelerate the search process significantly;
Provides SAT formulations for the prevalent delay faults models, in addition to the classical stuck-at fault model;
Includes an industrial perspective on the state-of-the-art in the testing, along with SAT; two topics typically distinguished from each other.

De la contraportada

Provides a comprehensive introduction to test generation and Boolean Satisfiability (SAT);
Describes a highly fault efficient SAT-based ATPG framework;
Introduces circuit-oriented SAT solving techniques, which make use of structural information and are able to accelerate the search process significantly;
Provides SAT formulations for the prevalent delay faults models, in addition to the classical stuck-at fault model;
Includes an industrial perspective on the state-of-the-art in the testing, along with SAT; two topics typically distinguished from each other.

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

Descripci�n de la librer�a

Das Antiquariat im Hufelandhaus geh�rt zu den groessten wissenschaftlichen Antiquariaten in Europa. Wir sind als Mitglied des Verbandes Deutscher Antiquare regelm�ssig auf Antiquariatsmessen vertreten. Der umfangreiche Bestand, ca. 40.000 B�cher, hat seinen Schwerpunkt in der Medizin des 19. Jahrhunderts. J�hrlich erscheinen 8-10 Antiquariatskataloge zu einzelnen Sachgebieten. Diese Kataloge stellen jeweils nur eine Auswahl aus unseren Buchbest�nden dar. Desweiteren erscheint j�hrlich der Preiskatalog mit den zur�ckliegenden Jahrg�ngen/Back Volumes der Zeitschriften des wissenschaftlichen Springer-Verlages. Wir sind jederzeit am Ankauf von Bibliotheken und Einzelwerken interessiert. Auf Wunsch erfolgt eine Besichtigung vor Ort. Antiquariat im Hufelandhaus GmbH HRB 80262 B, Amtsgericht Berlin-Charlottenburg Ust.Id.Nr. DE 222395865

Ver la p�gina web de la librer�a

Miembro de asociaci�n

Los miembros de estas asociaciones est�n comprometidos a mantener los est�ndares m�s altos. Ellos garantizan la autenticidad de los art�culos que ofrecen a la venta. Tienen descripciones expertas y detalladas, se�alan los defectos significativos y/o restauraciones, muestran los precios exactos y llevan a cabo un servicio de imparcialidad y honestidad durante la experiencia de la compra.

Informaci�n empresarial del vendedor

Universit�tsbuchhandlung Herta Hold GmbH
Dorotheenstra�e 16, Berlin, 10117, Germany

Condiciones de venta y env�o

Condiciones de venta

Allgemeine Lieferungs- und Zahlungsbedingungen der Fa. Antiquariat im Hufelandhaus GmbH vorm. Lange & Springer

Geltungsbereich

Die nachfolgenden Allgemeinen Gesch�ftsbedingungen gelten ausschlie�lich f�r die Internet-Gesch�ftsbeziehung der Antiquariat im Hufelandhaus GmbH vorm. Lange & Springer (nachfolgend H�ndler genannt). Ma�geblich ist die zum Zeitpunkt der Bestellung geltende Fassung. Abweichende Vereinbarungen/ Bedingungen der Bestellerin/ des Bestellers bed�rfen zu ihrem Anerkenntnis der ...

M�s informaci�n

Derecho a cancelaci�n

Si eres un consumidor puedes cancelar el presente contrato de acuerdo con lo indicado a continuaci�n. Son consumidores las personas f�sicas que act�en con un prop�sito ajeno a su actividad comercial, empresarial, oficio o profesi�n.

Documento de informaci�n al consumidor y usuario sobre el desistimiento

Derecho de desistimiento:

Tienes derecho a desistir del presente contrato en un plazo de 14 d�as naturales sin necesidad de justificaci�n.

El plazo de desistimiento expirar� a los 14 d�as naturales del d�a en que t� o un tercero que hayas indicado, distinto del transportista, adquiera la posesi�n material del �ltimo bien, componente o pieza.

Para ejercer el derecho de desistimiento, deber�s notificarnos a Antiquariat im Hufelandhaus GmbH, Antiquariat im Hufelandhaus, vormals Lange & Springer, 10117, Berlin, Germany, +49 03031504 196, de tu decisi�n de desistir del contrato a trav�s de una declaraci�n inequ�voca (por ejemplo, una carta enviada por correo postal, fax o correo electr�nico). Podr�s utilizar el modelo de formulario de desistimiento que figura a continuaci�n, aunque su uso no es obligatorio. Tienes asimismo la opci�n de cumplimentar y enviar electr�nicamente el modelo de formulario de desistimiento o cualquier otra declaraci�n inequ�voca a trav�s de nuestro sitio web a "Mis pedidos" en "Mi cuenta". Si recurres a esta opci�n, te comunicaremos sin demora en un soporte duradero (por ejemplo, por correo electr�nico) la recepci�n de dicho desistimiento.

Para cumplir el plazo de desistimiento, basta con que la comunicaci�n relativa al ejercicio por tu parte de este derecho sea enviada antes de que venza el plazo correspondiente.

Consecuencias del desistimiento:

En caso de desistimiento por tu parte, te devolveremos todos los pagos recibidos de ti, incluidos los gastos de entrega (con la excepci�n de los gastos adicionales resultantes de la elecci�n por tu parte de una modalidad de entrega diferente a la modalidad menos costosa de entrega ordinaria que ofrezcamos) sin ninguna demora indebida y, en todo caso, a m�s tardar 14 d�as naturales a partir de la fecha en la que se nos informes de tu decisi�n de desistir del presente contrato. Procederemos a efectuar dicho reembolso utilizando el mismo medio de pago empleado por ti para la transacci�n inicial, a no ser que hayas dispuesto expresamente lo contrario; en todo caso, no incurrir�s en ning�n gasto como consecuencia del reembolso.

Podremos retenerte el reembolso hasta haber recibido los bienes, o hasta que hayas presentado una prueba de la devoluci�n de los mismos, seg�n qu� condici�n se cumpla primero. Deber�s devolvernos o entregarnos directamente los bienes a Antiquariat im Hufelandhaus GmbH, Antiquariat im Hufelandhaus, vormals Lange & Springer, 10117, Berlin, Germany, +49 03031504 196, sin ninguna demora indebida y, en cualquier caso, a m�s tardar en el plazo de 14 d�as naturales a partir de la fecha en que nos comuniques tu decisi�n de desistimiento del contrato. Se considerar� cumplido el plazo si efect�as la devoluci�n de los bienes antes de que haya concluido dicho plazo. Deber�s asumir el coste directo de devoluci�n de los bienes. Solo ser�s responsable de la disminuci�n de valor de los bienes resultante de una manipulaci�n distinta a la necesaria para establecer la naturaleza, las caracter�sticas y el funcionamiento de los bienes.

Excepciones al derecho de desistimiento:

La entrega de peri�dicos, publicaciones especializadas o revistas con la excepci�n de contratos de suscripci�n; y
La entrega de contenido digital (incluyendo apps, MP3, etc.) que no hubiera sido entregado en un medio tangible (por ejemplo: CD o DVD), si al realizar tu pedido has aceptado que podemos proceder al env�o del producto y que no resulta posible su cancelaci�n una vez comienza la entrega.

Modelo de formulario de desistimiento

(S�lo debe cumplimentar y enviar el presente formulario si desea desistir del contrato)

A la atenci�n de: (Antiquariat im Hufelandhaus GmbH, Antiquariat im Hufelandhaus, vormals Lange & Springer, 10117, Berlin, Germany, +49 03031504 196)

Por la presente le comunico/comunicamos* que desisto de mi/desistimos de nuestro* contrato de venta del siguiente bien/prestaci�n del siguiente servicio*

Pedido el/recibido el*:

Nombre del consumidor y usuario o de los consumidores y usuarios:

Domicilio del consumidor y usuario o de los consumidores y usuarios:

Firma del consumidor y usuario o de los consumidores y usuarios (solo si el presente formulario se presenta en papel):

Fecha:

* Eliminar en su caso

Condiciones de env�o

Versandkosten

Die Versandkosten sind vom Besteller zus�tzlich zu dem Kaufpreis zu zahlen.

Die H�he der anfallenden Versandkosten ist bei der Artikelbeschreibung und den Preisangaben der ausgew�hlten Ware zu finden.

Im Falle der Aus�bung des Widerrufsrechts gelten folgende Versandkostenregelungen f�r die R�cksendung der Ware (Auszug aus dem Widerrufsrecht):

Sie haben die Waren unverz�glich und in jedem Fall sp�testens binnen vierzehn Tagen ab dem Tag, an dem Sie uns �ber den Widerruf dieses Vertrags unterrichten, an uns zur�ckzusenden oder zu �bergeben, Die Frist ist gewahrt, wenn Sie die Waren vor Ablauf der Frist von vierzehn Tagen absenden. Sie tragen die unmittelbaren Kosten der R�cksendung der Waren.

Die Ware wird in der Regel innerhalb von 2 Tagen nach Bestelleingang verschickt. Bitte entnehmen Sie den voraussichtlichen Liefertermin Ihrer Bestellbest�tigung. Die Versandkostenpauschalen basieren auf Durchschnittswerten f�r 1 kg schwere B�cher. �ber abweichende Kosten (z.B. wegen eines sehr schweren Buches) werden Sie gegebenenfalls vom Verk�ufer informiert.

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

Tarifas de env�o de Alemania a Estados Unidos de America
Cantidad del pedido	De 30 a 60 d�as h�biles	De 30 a 60 d�as h�biles
Primer art�culo	EUR 30.00	EUR 30.00

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.