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...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Peled, Doron A. (Éditeur intellectuel), Tsay, Yih-Kuen (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Édition:1st ed. 2005.
Collection:Programming and Software Engineering, 3707
Sujets:
Computer-aided engineering.
Computer science.
Computer networks .
Computers, Special purpose.
Software engineering.
Compilers (Computer programs).
Computer-Aided Engineering (CAD, CAE) and Design.
Computer Science Logic and Foundations of Programming.
Computer Communication Networks.
Special Purpose and Application-Based Systems.
Software Engineering.
Compilers and Interpreters.
Accès en ligne:Texto Completo

Internet

Texto Completo

Items no disponibles

Informations d'exemplaires de

Documents similaires