Articoli correlati a 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: 6405 - Brossura
Sinossi
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).
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Dalla quarta di copertina
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).
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2011
- ISBN 10 364219236X
- ISBN 13 9783642192364
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero edizione1
- Numero di pagine180
- RedattoreNamjoshi Kedar, Zeller Andreas, Ziv Avi
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 48,74
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per Hardware and Software: Verification and Testing: 5th...
Foto dell'editore
Hardware and Software: Verification and Testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Editore:
Springer-Verlag GmbH, 2011
ISBN 10: 364219236X
ISBN 13: 9783642192364
Antico o usato
Brossura
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut - Neubindung, Buchrücken leicht eingerissen | Seiten: 168 | Sprache: Englisch | Produktart: Sonstiges. Codice articolo 10284950/12
Quantità: 1 disponibili
Immagini fornite dal venditore
Hardware and Software: Verification and Testing
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 5051816
Quantità: Più di 20 disponibili
Foto dell'editore
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)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783642192364_new
Quantità: Più di 20 disponibili
Foto dell'editore
Hardware and Software: Verification and Testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revis
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783642192364
Quantità: 10 disponibili
Foto dell'editore
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, Hcv 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Editore:
Springer-Verlag New York Inc, 2011
ISBN 10: 364219236X
ISBN 13: 9783642192364
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 1st edition. 169 pages. 9.25x6.10x0.41 inches. In Stock. Codice articolo x-364219236X
Quantità: 2 disponibili
Immagini fornite dal venditore
Hardware and Software: Verification and Testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Editore:
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2011
ISBN 10: 364219236X
ISBN 13: 9783642192364
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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). Codice articolo 9783642192364
Quantità: 2 disponibili
Foto dell'editore
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)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020220281
Quantità: Più di 20 disponibili