Artículos relacionados a Hardware and Software: Verification and Testing: 6th...
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ... 6504 (Lecture Notes in Computer Science) - Tapa blanda
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2011
- ISBN 10 3642195822
- ISBN 13 9783642195822
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas208
- EditorBarner Sharon, Harris Ian, Kroening Daniel, Raz Orna
Comprar nuevo
Ver este artículo
EUR 54,15
EUR 3,55 gastos de envío en Estados Unidos de America
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Hardware and Software: Verification and Testing: 6th...
Imagen de archivo
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ... (Lecture Notes in Computer Science, 6504)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020220368
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ... (Lecture Notes in Computer Science, 6504)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783642195822
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Hardware and Software: Verification and Testing
Publicado por
Springer Berlin Heidelberg Mrz 2011, 2011
ISBN 10: 3642195822
ISBN 13: 9783642195822
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 208 pp. Englisch. Nº de ref. del artículo: 9783642195822
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 2 disponibles
Imagen del vendedor
Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Publicado por
Springer Berlin Heidelberg, 2011
ISBN 10: 3642195822
ISBN 13: 9783642195822
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Nº de ref. del artículo: 9783642195822
Gastos de envío:
EUR 29,61
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783642195822
Gastos de envío:
EUR 18,32
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 10 disponibles
Imagen de archivo
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ... (Lecture Notes in Computer Science, 6504)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783642195822_new
Gastos de envío:
EUR 14,17
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Publicado por
Springer-Verlag New York Inc, 2012
ISBN 10: 3642195822
ISBN 13: 9783642195822
Nuevo
Paperback
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 2011 edition. 208 pages. 9.00x6.00x0.75 inches. In Stock. Nº de ref. del artículo: x-3642195822
Gastos de envío:
EUR 11,82
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 2 disponibles
Imagen del vendedor
Hardware and Software: Verification and Testing
Publicado por
Springer Berlin Heidelberg, 2011
ISBN 10: 3642195822
ISBN 13: 9783642195822
Nuevo
Kartoniert / Broschiert
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Kartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Unique visibility fast-track-conference proceedings state-of-the-art researchThis book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, . Nº de ref. del artículo: 5051926
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles