Hardware and Software: Verification and Testing [recurso electrónico] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers / edited by Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz.
Tipo de material: TextoSeries Lecture Notes in Computer Science ; 6504Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Descripción: X, 197p. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783642195839Tema(s): Computer science | Software engineering | Logic design | Computer Science | Software Engineering | Logics and Meanings of Programs | Programming Languages, Compilers, InterpretersFormatos físicos adicionales: Printed edition:: Sin títuloClasificación CDD: 005.1 Clasificación LoC:QA76.758Recursos en línea: Libro electrónico En: Springer eBooksResumen: This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010. The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Libro Electrónico | Biblioteca Electrónica | Colección de Libros Electrónicos | QA76.758 (Browse shelf(Abre debajo)) | 1 | No para préstamo | 375881-2001 |
Navegando Biblioteca Electrónica Estantes, Código de colección: Colección de Libros Electrónicos Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
QA76.758 Service-Oriented Computing | QA76.758 Transactions on Pattern Languages of Programming II | QA76.758 Software Language Engineering | QA76.758 Hardware and Software: Verification and Testing | QA76.758 Programming Languages and Systems | QA76.758 Software Architecture | QA76.758 Fundamental Approaches to Software Engineering |
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010. The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.
19