Articoli correlati a Hardware and Software: Verification and Testing: 11th...
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings: 9434 - Brossura
Sinossi
This book constitutes the refereed proceedings of the11th International Haifa Verification Conference, HVC 2015, held in Haifa,Israel, in November 2015.
The 17 revised full papers and 4 invited talks presentedwere carefully reviewed and selected from numerous submissions. The papers areorganized in topical sections on hybrid systems; tools; verification ofrobotics; symbolic execution; model checking; timed systems; SAT solving; multidomain verification; and synthesis.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2015
- ISBN 10 3319262866
- ISBN 13 9783319262864
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero edizione1
- Numero di pagine312
- RedattorePiterman Nir
Compra nuovo
Visualizza questo articolo
EUR 54,80
EUR 3,56 per la spedizione in U.S.A.
Destinazione, tempi e costi
Risultati della ricerca per Hardware and Software: Verification and Testing: 11th...
Immagini fornite dal venditore
Hardware and Software : Verification and Testing; 11th International Haifa Verification Conference, Hvc 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 24761571
Quantità: Più di 20 disponibili
Foto dell'editore
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (Programming and Software Engineering)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020092020
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Hardware and Software : Verification and Testing; 11th International Haifa Verification Conference, Hvc 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 24761571-n
Quantità: Più di 20 disponibili
Foto dell'editore
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (Programming and Software Engineering)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9783319262864
Quantità: Più di 20 disponibili
Foto dell'editore
Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Pro
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783319262864
Quantità: 10 disponibili
Foto dell'editore
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (Programming and Software Engineering)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783319262864_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Hardware and Software : Verification and Testing; 11th International Haifa Verification Conference, Hvc 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 24761571-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Hardware and Software : Verification and Testing; 11th International Haifa Verification Conference, Hvc 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 24761571
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Hardware and Software: Verification and Testing
Editore:
Springer International Publishing Okt 2015, 2015
ISBN 10: 3319262866
ISBN 13: 9783319262864
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the11th International Haifa Verification Conference, HVC 2015, held in Haifa,Israel, in November 2015.The 17 revised full papers and 4 invited talks presentedwere carefully reviewed and selected from numerous submissions. The papers areorganized in topical sections on hybrid systems; tools; verification ofrobotics; symbolic execution; model checking; timed systems; SAT solving; multidomain verification; and synthesis. 312 pp. Englisch. Codice articolo 9783319262864
Quantità: 2 disponibili
Immagini fornite dal venditore
Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Editore:
Springer International Publishing, 2015
ISBN 10: 3319262866
ISBN 13: 9783319262864
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the11th International Haifa Verification Conference, HVC 2015, held in Haifa,Israel, in November 2015.The 17 revised full papers and 4 invited talks presentedwere carefully reviewed and selected from numerous submissions. The papers areorganized in topical sections on hybrid systems; tools; verification ofrobotics; symbolic execution; model checking; timed systems; SAT solving; multidomain verification; and synthesis. Codice articolo 9783319262864
Quantità: 1 disponibili