Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers - Couverture souple
Synopsis
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011.
The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. The 15 revised full papers presented together with 3 tool papers and 4 pos
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Hardware and Software: Verification and Testing: 7th...
Image fournie par le vendeur
Hardware and Software Verification and Testing : 7th International Haifa Verification Conference, Hvc 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Edité par
Springer, 2012
ISBN 10 : 364234187X
ISBN 13 : 9783642341878
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 19133090
Acheter D'occasion
EUR 58,10
Frais de port :
EUR 2,30
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783642341878_new
Acheter neuf
EUR 55,78
Frais de port :
EUR 13,60
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised . Papers (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783642341878
Acheter neuf
EUR 52,19
Frais de port :
EUR 17,59
De Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Hardware and Software Verification and Testing : 7th International Haifa Verification Conference, Hvc 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 19133090-n
Acheter neuf
EUR 68,92
Frais de port :
EUR 2,30
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Hardware and Software Verification and Testing : 7th International Haifa Verification Conference, Hvc 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 19133090-n
Acheter neuf
EUR 55,09
Frais de port :
EUR 17,03
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Hardware and Software: Verification and Testing
Edité par
Springer Berlin Heidelberg Okt 2012, 2012
ISBN 10 : 364234187X
ISBN 13 : 9783642341878
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
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 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011.The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event. 276 pp. Englisch. N° de réf. du vendeur 9783642341878
Acheter neuf
EUR 49,22
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020224661
Acheter neuf
EUR 69,11
Frais de port :
EUR 3,47
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Hardware and Software
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 276. N° de réf. du vendeur 2658582991
Acheter neuf
EUR 70,94
Frais de port :
EUR 3,47
Vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Hardware and Software Verification and Testing : 7th International Haifa Verification Conference, Hvc 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Edité par
Springer, 2012
ISBN 10 : 364234187X
ISBN 13 : 9783642341878
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 19133090
Acheter D'occasion
EUR 60,72
Frais de port :
EUR 17,03
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Hardware and Software
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand pp. 276 95 Illus. N° de réf. du vendeur 51009552
Acheter neuf
EUR 73,79
Frais de port :
EUR 7,38
De Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)