Articoli correlati a Numerical Software Verification: 12th International...
Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings: 12th International ... July 13–14, 2019, Proceedings: 11652 - Brossura
Sinossi
This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019.
The 5 full papers presented together with 2 short papers, 3 abstracts of invited talks, and 2 tutorial papers were carefully reviewed and selected from numerous submissions.
The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 48,37
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per Numerical Software Verification: 12th International...
Foto dell'editore
Numerical Software Verification : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13¿14, 2019, Proceedings
Editore:
Springer International Publishing, 2019
ISBN 10: 3030284220
ISBN 13: 9783030284220
Antico o usato
Brossura
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 164 | Sprache: Englisch | Produktart: Bücher. Codice articolo 35276562/1
Quantità: 2 disponibili
Foto dell'editore
Numerical Software Verification : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13¿14, 2019, Proceedings
Editore:
Springer International Publishing, 2019
ISBN 10: 3030284220
ISBN 13: 9783030284220
Antico o usato
Brossura
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 164 | Sprache: Englisch | Produktart: Bücher. Codice articolo 35276562/2
Quantità: 1 disponibili
Immagini fornite dal venditore
Numerical Software Verification
Editore:
Springer International Publishing, 2019
ISBN 10: 3030284220
ISBN 13: 9783030284220
Nuovo
Brossura
Da: 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. This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019. Codice articolo 307775058
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Numerical Software Verification
Editore:
Springer International Publishing Aug 2019, 2019
ISBN 10: 3030284220
ISBN 13: 9783030284220
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 proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019.The 5 full papers presented together with 2 short papers, 3 abstracts of invited talks, and 2 tutorial papers were carefully reviewed and selected from numerous submissions.The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability. 164 pp. Englisch. Codice articolo 9783030284220
Quantità: 2 disponibili
Immagini fornite dal venditore
Numerical Software Verification : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13¿14, 2019, Proceedings
ISBN 10: 3030284220
ISBN 13: 9783030284220
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 proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019.The 5 full papers presented together with 2 short papers, 3 abstracts of invited talks, and 2 tutorial papers were carefully reviewed and selected from numerous submissions.The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability. Codice articolo 9783030284220
Quantità: 1 disponibili
Immagini fornite dal venditore
Numerical Software Verification
ISBN 10: 3030284220
ISBN 13: 9783030284220
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019.The 5 full papers presented together with 2 short papers, 3 abstracts of invited talks, and 2 tutorial papers were carefully reviewed and selected from numerous submissions.The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch. Codice articolo 9783030284220
Quantità: 2 disponibili
Immagini fornite dal venditore
Numerical Software Verification : 12th International Workshop, Nsv 2019, New York City, Ny, USA, July 13?14, 2019, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 37623519-n
Quantità: Più di 20 disponibili
Foto dell'editore
Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings (Theoretical Computer Science and General Issues)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783030284220_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Numerical Software Verification : 12th International Workshop, Nsv 2019, New York City, Ny, USA, July 13?14, 2019, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 37623519-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Numerical Software Verification : 12th International Workshop, Nsv 2019, New York City, Ny, USA, July 13?14, 2019, 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 37623519
Quantità: Più di 20 disponibili