Comentarios: Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote researc...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Peled, Doron A. (Editor , http://id.loc.gov/vocabulary/relators/edt), Tsay, Yih-Kuen. (Editor , http://id.loc.gov/vocabulary/relators/edt)
Formato:	Electrónico eBook
Lenguaje:	English
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:	1st ed. 2005.
Series:	Programming and Software Engineering ; 3707
Materias:	Computer-aided engineering. Computer logic. Computer communication systems. Special purpose computers. Software engineering. Programming languages (Electronic computers). Computer-Aided Engineering (CAD, CAE) and Design. Logics and Meanings of Programs. Computer Communication Networks. Special Purpose and Application-Based Systems. Software Engineering. Programming Languages, Compilers, Interpreters.
Acceso en línea:	https://doi.org/10.1007/11562948
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Sea el primero en dejar un comentario!

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /

Ejemplares similares