Scalable Techniques for Formal Verification /

Detalles Bibliográficos
Autor principal: Ray, Sandip. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: eBook
Lenguaje:English
Publicado: New York, NY : Springer US : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Materias:

Sistema de Bibliotecas del Tecnológico de Costa Rica

Detalle de Existencias desde Sistema de Bibliotecas del Tecnológico de Costa Rica
Copia Disponible