Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers - Couverture souple

 
9783642192364: Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Couverture souple
ISBN 10 : 364219236X ISBN 13 : 9783642192364
Editeur : Springer, 2011

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.

Éditeur
Springer
Date d'édition
2011
Langue
anglais
ISBN 10 
364219236X
ISBN 13 
9783642192364
Reliure
Broché
Nombre de pages
180
Éditeur
Namjoshi Kedar, Zeller Andreas, Ziv Avi
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9783540835448: Hardware and Software, Verification and Testing

Edition présentée

ISBN 10 :  354083544X ISBN 13 :  9783540835448
Editeur : Springer, 2008
Couverture souple