Condition: New.
Paperback or Softback. Condition: New. Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israel, October 4-7, 2010. Revised. Book.
Condition: As New. Unread book in perfect condition.
Language: English
Published by Ibidem Press/Ibidem-Verlag 2021-04-20, 2021
ISBN 10: 3838215036 ISBN 13: 9783838215037
Seller: Chiron Media, Wallingford, United Kingdom
Paperback. Condition: New.
Condition: As New. Unread book in perfect condition.
Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 60.01
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New.
PF. Condition: New.
Language: English
Published by Springer-Verlag New York Inc, 2012
ISBN 10: 3642195822 ISBN 13: 9783642195822
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 2011 edition. 208 pages. 9.00x6.00x0.75 inches. In Stock.
Language: English
Published by Springer-Nature New York Inc, 2024
ISBN 10: 3031700074 ISBN 13: 9783031700071
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 194 pages. 9.44x6.61x9.45 inches. In Stock.
Language: English
Published by Springer Berlin Heidelberg, 2011
ISBN 10: 3642195822 ISBN 13: 9783642195822
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: 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.
Seller: Mispah books, Redhill, SURRE, United Kingdom
Hardcover. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Condition: new. Questo è un articolo print on demand.
Language: English
Published by Springer Berlin Heidelberg Mrz 2011, 2011
ISBN 10: 3642195822 ISBN 13: 9783642195822
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: 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.
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. Print on Demand.
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. PRINT ON DEMAND.
Language: English
Published by Springer Berlin Heidelberg, 2011
ISBN 10: 3642195822 ISBN 13: 9783642195822
Seller: moluna, Greven, Germany
Kartoniert / Broschiert. Condition: 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, .
Language: English
Published by Springer Verlag GmbH, 2024
ISBN 10: 3031700074 ISBN 13: 9783031700071
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.
Language: English
Published by Springer, Springer Mär 2011, 2011
ISBN 10: 3642195822 ISBN 13: 9783642195822
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. 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 KG, Sachsenplatz 4-6, 1201 Wien 208 pp. Englisch.