Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 53,74
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 52,54
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 61,19
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 59,76
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 55,82
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 58,75
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 65,56
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Publicado por Springer-Verlag New York Inc, 2019
ISBN 10: 3030284220 ISBN 13: 9783030284220
Idioma: Inglés
Librería: Revaluation Books, Exeter, Reino Unido
EUR 76,59
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 135 pages. 9.25x6.10x0.59 inches. In Stock.
Publicado por Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030284220 ISBN 13: 9783030284220
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Publicado por Springer Nature Switzerland, 2019
ISBN 10: 3030284220 ISBN 13: 9783030284220
Idioma: Inglés
Librería: preigu, Osnabrück, Alemania
EUR 50,95
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Numerical Software Verification | 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings | Damien Zufferey (u. a.) | Taschenbuch | xv | Englisch | 2019 | Springer Nature Switzerland | EAN 9783030284220 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 97,61
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. New. book.
Publicado por Springer International Publishing, 2019
ISBN 10: 3030284220 ISBN 13: 9783030284220
Idioma: Inglés
Librería: Buchpark, Trebbin, Alemania
EUR 36,99
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher.
Publicado por Springer International Publishing, 2019
ISBN 10: 3030284220 ISBN 13: 9783030284220
Idioma: Inglés
Librería: Buchpark, Trebbin, Alemania
EUR 36,99
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.