Test Pattern Generation using Boolean Proof Engines

Detalles Bibliográficos
Autores principales: Drechsler, Rolf. (Autor), Eggersglüß, Stephan. (Autor), Fey, Görschwin. (Autor), Tille, Daniel. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: eBook
Lenguaje:English
Publicado: Dordrecht : Springer Netherlands : Imprint: Springer, 2009.
Edición:1st ed. 2009.
Materias:
Acceso en línea: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 TEC

Detalle de Existencias desde Sistema de Bibliotecas del TEC
Copia Disponible