Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised . (Lecture Notes in Computer Science (7857))

ISBN 10: 3642396100 ISBN 13: 9783642396106
Edité par Springer, 2013
Ancien(s) ou d'occasion Paperback

Vendeur Mispah books, Redhill, SURRE, Royaume-Uni Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Vendeur AbeBooks depuis 15 avril 2021

A propos de cet article

Description :

Like New. N° de réf. du vendeur ERICA78736423961006

Signaler cet article

Synopsis :

This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems.

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

Détails bibliographiques

Titre : Hardware and Software: Verification and ...
Éditeur : Springer
Date d'édition : 2013
Reliure : Paperback
Etat : Like New
Type de livre : book

Meilleurs résultats de recherche sur AbeBooks

Image d'archives

Unbekannt
Edité par Springer, 2013
ISBN 10 : 3642396100 ISBN 13 : 9783642396106
Ancien ou d'occasion Couverture souple

Vendeur : Buchpark, Trebbin, Allemagne

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

Etat : Sehr gut. Zustand: Sehr gut | Seiten: 296 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. N° de réf. du vendeur 24032001/12

Contacter le vendeur

Acheter D'occasion

EUR 32,74
EUR 105 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Biere, Armin|Nahir, Amir|Vos, Tanja E. J.
Edité par Springer Berlin Heidelberg, 2013
ISBN 10 : 3642396100 ISBN 13 : 9783642396106
Neuf Couverture souple
impression à la demande

Vendeur : moluna, Greven, Allemagne

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

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Fast track conference proceedingsUnique visibilityState of the art researchThis book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November. N° de réf. du vendeur 5059362

Contacter le vendeur

Acheter neuf

EUR 44,88
EUR 48,99 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Armin Biere (u. a.)
Edité par Springer, 2013
ISBN 10 : 3642396100 ISBN 13 : 9783642396106
Neuf Taschenbuch
impression à la demande

Vendeur : preigu, Osnabrück, Allemagne

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

Taschenbuch. Etat : Neu. Hardware and Software: Verification and Testing | 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers | Armin Biere (u. a.) | Taschenbuch | xii | Englisch | 2013 | Springer | EAN 9783642396106 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. N° de réf. du vendeur 105752901

Contacter le vendeur

Acheter neuf

EUR 46,70
EUR 70 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 5 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2013
ISBN 10 : 3642396100 ISBN 13 : 9783642396106
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 ABLIING23Mar3113020225924

Contacter le vendeur

Acheter neuf

EUR 47,56
EUR 3,39 shipping
Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Biere, Armin (EDT); Nahir, Amir (EDT); Vos, Tanja E. J. (EDT)
Edité par Springer, 2013
ISBN 10 : 3642396100 ISBN 13 : 9783642396106
Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, 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 19860918-n

Contacter le vendeur

Acheter neuf

EUR 48,74
EUR 2,24 shipping
Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Armin Biere
ISBN 10 : 3642396100 ISBN 13 : 9783642396106
Neuf Taschenbuch
impression à la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, 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 - Print on Demand Titel. Neuware -This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch. N° de réf. du vendeur 9783642396106

Contacter le vendeur

Acheter neuf

EUR 49,22
EUR 60 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Armin Biere
ISBN 10 : 3642396100 ISBN 13 : 9783642396106
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 proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems. 296 pp. Englisch. N° de réf. du vendeur 9783642396106

Contacter le vendeur

Acheter neuf

EUR 49,22
EUR 23 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Armin Biere
Edité par Springer Berlin Heidelberg, 2013
ISBN 10 : 3642396100 ISBN 13 : 9783642396106
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 proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems. N° de réf. du vendeur 9783642396106

Contacter le vendeur

Acheter neuf

EUR 49,22
EUR 62,26 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Armin Biere, Amir Nahir, Tanja Vos
Edité par Springer 2013-07-19, 2013
ISBN 10 : 3642396100 ISBN 13 : 9783642396106
Neuf Paperback

Vendeur : Chiron Media, Wallingford, Royaume-Uni

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

Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783642396106

Contacter le vendeur

Acheter neuf

EUR 50,16
EUR 17,76 shipping
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Biere, Armin (EDT); Nahir, Amir (EDT); Vos, Tanja E. J. (EDT)
Edité par Springer, 2013
ISBN 10 : 3642396100 ISBN 13 : 9783642396106
Neuf Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

É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 19860918-n

Contacter le vendeur

Acheter neuf

EUR 52,30
EUR 17,20 shipping
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

There are 8 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre