Articoli correlati 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 Selected Papers: 6504 - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Dalla quarta di copertina
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2011
- ISBN 10 3642195822
- ISBN 13 9783642195822
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine208
- RedattoreBarner Sharon, Harris Ian, Kroening Daniel, Raz Orna
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 48,37
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per Hardware and Software: Verification and Testing: 6th...
Immagini fornite dal venditore
Hardware and Software: Verification and Testing
Editore:
Springer Berlin Heidelberg, 2011
ISBN 10: 3642195822
ISBN 13: 9783642195822
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Kartoniert / Broschiert. Condizione: 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, . Codice articolo 5051926
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Hardware and Software: Verification and Testing
Editore:
Springer Berlin Heidelberg Mrz 2011, 2011
ISBN 10: 3642195822
ISBN 13: 9783642195822
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783642195822
Quantità: 2 disponibili
Immagini fornite dal venditore
Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Editore:
Springer Berlin Heidelberg, 2011
ISBN 10: 3642195822
ISBN 13: 9783642195822
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783642195822
Quantità: 1 disponibili
Immagini fornite dal venditore
Hardware and Software: Verification and Testing
ISBN 10: 3642195822
ISBN 13: 9783642195822
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch. Codice articolo 9783642195822
Quantità: 2 disponibili
Immagini fornite dal venditore
Hardware and Software : Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 18316870-n
Quantità: Più di 20 disponibili
Foto dell'editore
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)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9783642195822
Quantità: Più di 20 disponibili
Foto dell'editore
Hardware and Software : Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 18316870
Quantità: Più di 20 disponibili
Foto dell'editore
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)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783642195822_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Hardware and Software : Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 18316870-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Hardware and Software : Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 18316870
Quantità: Più di 20 disponibili