Articoli correlati a Hardware and Software: Verification and Testing: 8th...

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers: 7857 - Brossura

 
9783642396106: Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers: 7857
Brossura
ISBN 10: 3642396100 ISBN 13: 9783642396106
Casa editrice: Springer, 2013

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Dalla quarta di copertina

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2013
Lingua
Inglese
ISBN 10 
3642396100
ISBN 13 
9783642396106
Rilegatura
Copertina flessibile
Numero di pagine
296
Redattore
Biere Armin, Nahir Amir, Vos Tanja
Contatto del produttore
Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com

Compra usato

Condizioni: ottimo
Zustand: Sehr gut | Seiten: 296...
Visualizza questo articolo
9783642396106: Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers: 7857
EUR 36,38

Convertire valuta

EUR 9,90 per la spedizione da Germania a Italia

Destinazione, tempi e costi

Compra nuovo

Visualizza questo articolo
9783642396106: Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers: 7857
EUR 44,88

Convertire valuta

EUR 9,70 per la spedizione da Germania a Italia

Destinazione, tempi e costi

Risultati della ricerca per Hardware and Software: Verification and Testing: 8th...

Foto dell'editore

Unbekannt
ISBN 10: 3642396100 ISBN 13: 9783642396106
Antico o usato Brossura

Da: Buchpark, Trebbin, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 296 | Sprache: Englisch | Produktart: Bücher. Codice articolo 24032001/12

Contatta il venditore

Compra usato

EUR 36,38
Convertire valuta
Spese di spedizione: EUR 9,90
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Biere, Armin|Nahir, Amir|Vos, Tanja E. J.
ISBN 10: 3642396100 ISBN 13: 9783642396106
Nuovo Brossura
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: 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. Codice articolo 5059362

Contatta il venditore

Compra nuovo

EUR 44,88
Convertire valuta
Spese di spedizione: EUR 9,70
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Armin Biere
ISBN 10: 3642396100 ISBN 13: 9783642396106
Nuovo Taschenbuch
Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: 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. Codice articolo 9783642396106

Contatta il venditore

Compra nuovo

EUR 49,22
Convertire valuta
Spese di spedizione: EUR 11,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Armin Biere
ISBN 10: 3642396100 ISBN 13: 9783642396106
Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: 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. Codice articolo 9783642396106

Contatta il venditore

Compra nuovo

EUR 49,22
Convertire valuta
Spese di spedizione: EUR 14,99
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Armin Biere
ISBN 10: 3642396100 ISBN 13: 9783642396106
Nuovo Taschenbuch

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. 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. Codice articolo 9783642396106

Contatta il venditore

Compra nuovo

EUR 49,22
Convertire valuta
Spese di spedizione: EUR 15,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2013
ISBN 10: 3642396100 ISBN 13: 9783642396106
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9783642396106_new

Contatta il venditore

Compra nuovo

EUR 54,45
Convertire valuta
Spese di spedizione: EUR 10,42
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Biere, Armin (EDT); Nahir, Amir (EDT); Vos, Tanja E. J. (EDT)
Editore: Springer, 2013
ISBN 10: 3642396100 ISBN 13: 9783642396106
Nuovo Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo 19860918-n

Contatta il venditore

Compra nuovo

EUR 48,72
Convertire valuta
Spese di spedizione: EUR 16,97
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Biere, Armin (EDT); Nahir, Amir (EDT); Vos, Tanja E. J. (EDT)
Editore: Springer, 2013
ISBN 10: 3642396100 ISBN 13: 9783642396106
Nuovo Brossura

Da: GreatBookPricesUK, Woodford Green, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo 19860918-n

Contatta il venditore

Compra nuovo

EUR 51,90
Convertire valuta
Spese di spedizione: EUR 17,38
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Biere, Armin
Editore: Springer 2013-07, 2013
ISBN 10: 3642396100 ISBN 13: 9783642396106
Nuovo PF

Da: Chiron Media, Wallingford, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

PF. Condizione: New. Codice articolo 6666-IUK-9783642396106

Contatta il venditore

Compra nuovo

EUR 48,94
Convertire valuta
Spese di spedizione: EUR 23,16
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 10 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2013
ISBN 10: 3642396100 ISBN 13: 9783642396106
Nuovo Brossura

Da: Books Puddle, New York, NY, U.S.A.

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. pp. 296. Codice articolo 2697867712

Contatta il venditore

Compra nuovo

EUR 71,94
Convertire valuta
Spese di spedizione: EUR 7,64
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 4 disponibili

Aggiungi al carrello

Vedi altre 6 copie di questo libro

Vedi tutti i risultati per questo libro