Synthesis of Embedded Software : Frameworks and Methodologies for Correctness by Construction /

Synthesis of Embedded Software : Frameworks and Methodologies for Correctness by Construction /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Shukla, Sandeep Kumar. (Editor ), Talpin, Jean-Pierre. (Editor )
Formato: eBook
Lenguaje:English
Publicado: New York, NY : Springer US : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Materias:
Electronic circuits.
Computer-aided engineering.
Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.

Sistema de Bibliotecas del TEC

Detalle de Existencias desde Sistema de Bibliotecas del TEC
Copia Disponible

Ejemplares similares