Articles liés à 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 - Couverture souple

 
9783642195822: Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Couverture souple
ISBN 10 : 3642195822 ISBN 13 : 9783642195822
Editeur : Springer, 2011

Présentation de l'éditeur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Acheter neuf

Afficher cet article
9783642195822: Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
EUR 54,91

Autre devise

EUR 3,60 expédition vers Etats-Unis

Destinations, frais et délais

Autres éditions populaires du même titre

9783642195846: Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Edition présentée

ISBN 10 :  3642195849 ISBN 13 :  9783642195846
Editeur : Springer, 2011
Couverture souple

Résultats de recherche pour Hardware and Software: Verification and Testing: 6th...

Image d'archives

Edité par Springer, 2011
ISBN 10 : 3642195822 ISBN 13 : 9783642195822
Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur ABLIING23Mar3113020220368

Contacter le vendeur

Acheter neuf

EUR 54,91
Autre devise
Frais de port : EUR 3,60
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Edité par Springer, 2011
ISBN 10 : 3642195822 ISBN 13 : 9783642195822
Neuf Couverture souple

Vendeur : California Books, Miami, FL, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur I-9783642195822

Contacter le vendeur

Acheter neuf

EUR 68,69
Autre devise
Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Sharon Barner
ISBN 10 : 3642195822 ISBN 13 : 9783642195822
Neuf Taschenbuch
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : 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 réf. du vendeur 9783642195822

Contacter le vendeur

Acheter neuf

EUR 53,49
Autre devise
Frais de port : EUR 23
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Sharon Barner
Edité par Springer Berlin Heidelberg, 2011
ISBN 10 : 3642195822 ISBN 13 : 9783642195822
Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : 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 réf. du vendeur 9783642195822

Contacter le vendeur

Acheter neuf

EUR 53,49
Autre devise
Frais de port : EUR 29,61
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Barner, Sharon
Edité par Springer 2011-03, 2011
ISBN 10 : 3642195822 ISBN 13 : 9783642195822
Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783642195822

Contacter le vendeur

Acheter neuf

EUR 66,25
Autre devise
Frais de port : EUR 18,40
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 10 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2011
ISBN 10 : 3642195822 ISBN 13 : 9783642195822
Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9783642195822_new

Contacter le vendeur

Acheter neuf

EUR 73,62
Autre devise
Frais de port : EUR 14,23
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Barner, Sharon (Editor)/ Harris, I. (Editor)/ Kroening, D. (Editor)/ Raz, Orna (Editor)
Edité par Springer-Verlag New York Inc, 2012
ISBN 10 : 3642195822 ISBN 13 : 9783642195822
Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : Brand New. 2011 edition. 208 pages. 9.00x6.00x0.75 inches. In Stock. N° de réf. du vendeur x-3642195822

Contacter le vendeur

Acheter neuf

EUR 80,03
Autre devise
Frais de port : EUR 11,88
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Barner, Sharon|Harris, Ian|Kroening, Daniel|Raz, Orna
Edité par Springer Berlin Heidelberg, 2011
ISBN 10 : 3642195822 ISBN 13 : 9783642195822
Neuf Kartoniert / Broschiert
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Kartoniert / Broschiert. Etat : 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 réf. du vendeur 5051926

Contacter le vendeur

Acheter neuf

EUR 48,37
Autre devise
Frais de port : EUR 48,99
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier