Articles liés à Hardware and Software: Verification and Testing: 5th...
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers - Couverture souple
Synopsis
This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009. The 11 revised full papers presented together with four abstracts of invited lectures were carefully reviewed and selected from 23 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing).
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2011
- ISBN 10 364219236X
- ISBN 13 9783642192364
- ReliureBroché
- Langueanglais
- Nombre de pages180
- ÉditeurNamjoshi Kedar, Zeller Andreas, Ziv Avi
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 48,74
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délais
Résultats de recherche pour Hardware and Software: Verification and Testing: 5th...
Image d'archives
Hardware and Software: Verification and Testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Edité par
Springer-Verlag GmbH, 2011
ISBN 10 : 364219236X
ISBN 13 : 9783642192364
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut - Neubindung, Buchrücken leicht eingerissen | Seiten: 168 | Sprache: Englisch | Produktart: Sonstiges. N° de réf. du vendeur 10284950/12
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Hardware and Software: Verification and Testing
Edité par
Springer Berlin Heidelberg, 2011
ISBN 10 : 364219236X
ISBN 13 : 9783642192364
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. State-of-the-art researchFast-track conference proceedingsUnique selling pointsThis book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009. The. N° de réf. du vendeur 5051816
Quantité disponible : Plus de 20 disponibles
Image d'archives
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, ... (Lecture Notes in Computer Science, 6405)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783642192364_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Hardware and Software: Verification and Testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revis
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783642192364
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Hardware and Software: Verification and Testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Edité par
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2011
ISBN 10 : 364219236X
ISBN 13 : 9783642192364
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware - This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009. The 11 revised full papers presented together with four abstracts of invited lectures were carefully reviewed and selected from 23 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing). N° de réf. du vendeur 9783642192364
Quantité disponible : 2 disponible(s)
Image d'archives
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, Hcv 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Edité par
Springer-Verlag New York Inc, 2011
ISBN 10 : 364219236X
ISBN 13 : 9783642192364
Neuf
Paperback
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 1st edition. 169 pages. 9.25x6.10x0.41 inches. In Stock. N° de réf. du vendeur x-364219236X
Quantité disponible : 2 disponible(s)
Image d'archives
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, ... (Lecture Notes in Computer Science, 6405)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020220281
Quantité disponible : Plus de 20 disponibles