Test Pattern Generation using Boolean Proof Engines

Test Pattern Generation using Boolean Proof Engines

Bibliographic Details
Main Authors: Drechsler, Rolf. (Author), Eggersglüß, Stephan. (Author), Fey, Görschwin. (Author), Tille, Daniel. (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2009.
Edition:1st ed. 2009.
Subjects:
Electronic circuits.
Electronics.
Microelectronics.
Circuits and Systems.
Electronics and Microelectronics, Instrumentation.
Online Access:https://doi.org/10.1007/978-90-481-2360-5

Internet

https://doi.org/10.1007/978-90-481-2360-5

Sistema de Bibliotecas del Tecnológico de Costa Rica

Holdings details from Sistema de Bibliotecas del Tecnológico de Costa Rica
Copy Available

Similar Items