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:

Sistema de Bibliotecas del Tecnológico de Costa Rica

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