Verlag: Springer International Publishing, 2019
ISBN 10: 3030284220 ISBN 13: 9783030284220
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 36,99
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbZustand: Hervorragend. Zustand: Hervorragend | Seiten: 164 | Sprache: Englisch | Produktart: Bücher.
Verlag: Springer International Publishing, 2019
ISBN 10: 3030284220 ISBN 13: 9783030284220
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 36,99
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 164 | Sprache: Englisch | Produktart: Bücher.
Verlag: Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030284220 ISBN 13: 9783030284220
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: 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.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 61,23
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Verlag: Springer-Verlag New York Inc, 2019
ISBN 10: 3030284220 ISBN 13: 9783030284220
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 75,82
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 135 pages. 9.25x6.10x0.59 inches. In Stock.